Search results for "Transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Gregor Engels, Reiko Heckel	Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.	ICALP	2000	DBLP DOI BibTeX RDF	typed graph transformation, system modeling, model evolution, hierarchical graphs
21	Avner Shapiro, Ayellet Tal	Polyhedron realization for shape transformation.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Polyhedron realization, Correspondence, Metamorphosis, Shape transformation
21	Michael Leuschel	Improving Homeomorphic Embedding for Online Termination.	LOPSTR	1998	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders
21	Annalisa Bossi, Nicoletta Cocco	Programs Without Failures.	LOPSTR	1997	DBLP DOI BibTeX RDF	finitely failing derivations, program transformation, program verification
21	Andrei P. Nemytykh, Victoria A. Pinchuk	Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation
21	Edin Hodzic, Weijia Shang	On Supernode Transformation with Minimized Total Running Time.	ASAP	1996	DBLP DOI BibTeX RDF	supernode transformation, minimizing running time, reducing communication startup cost, message passing, Parallelizing compilers, distributed memory parallel computers
21	Josef Küng, Roland R. Wagner, Wolfram Wöß	A Rule-Driven Transformation Processor for Bill of Material Data	DEXA	1995	DBLP DOI BibTeX RDF	extended relational database systems, bill of material, transformation of bill of material, database application, CIM
21	Malcolm H. Davis, Alireza Khotanzad, Duane P. Flamig, Steven E. Harms	Elastic Body Splines: A Physics Based Approach to Coordinate Transformation in Medical Image Matching.	CBMS	1995	DBLP DOI BibTeX RDF	elastic body splines, medical image matching, landmark locations, 3D magnetic resonance images, 3D breast MRI, image matching, medical image processing, splines (mathematics), biomedical NMR, coordinate transformation, thin plate spline, breast
21	Weiyi Meng, Aqueo Kamada, Yuhsi Chang	Transformation of Relational Schemas to Object-Oriented Schemas.	COMPSAC	1995	DBLP DOI BibTeX RDF	OODB schema, heterogeneous database, schema transformation, relational schema
21	Jimmy Shinn-Hwa Wang, Wayne Wei-Ming Dai	Transformation of min-max optimization to least-square estimation and application to interconnect design optimization.	ICCD	1995	DBLP DOI BibTeX RDF	min-max optimization transformation, interconnect design optimization, tighter bound, circuit layout CAD, minimisation, least squares approximations, multichip modules, multichip modules, least-square estimation, minimax techniques
21	Jang-Ping Sheu, Chih-Yung Chang	Synthesizing Nested Loop Algorithms Using Nonlinear Transformation Method.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	nested loop algorithms, nonlinear transformation method, FOR-loop models, nestedFOR-loops, fixed size systolic arrays, space mapping schemes, parallelform, parallel algorithms, parallel programming, array processors
21	Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche	The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	KAT, knowledge-action-transformation, availability growth, single-component systems, action models, hyperexponential model, multicomponent systems, knowledge based systems, software reliability, Markov processes, Markov models, knowledge models, reliability theory
21	Shinji Umeyama	Least-Squares Estimation of Transformation Parameters Between Two Point Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	two point patterns, transformation parameters, least mean squared error, pattern recognition, pattern recognition, computer vision, computer vision, parameter estimation, parameter estimation, error analysis, least squares approximations
21	Ireneusz Sierocki	A Transformation of the Problems of Minimal Satisfaction of Constraints.	EUROCAST	1991	DBLP DOI BibTeX RDF	problem of minimal satisfaction of constraints, NP-difficulty, transformation, homomorphism
20	Peihua Qiu, Chen Xing	Intensity based nonparametric image registration.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	degeneration, local smoothing, nonparametric transformation, edge detection
20	Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon	Qualifying input test data for model transformations.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria
20	Yu Sun 0002, Jeff Gray 0001, Jules White	MT-scribe: a tool for recording and inferring model transformations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	mt-scribe, model transformation, demonstration
20	Nathalie Aquino	Adding flexibility in the model-driven engineering of user interfaces.	EICS	2009	DBLP DOI BibTeX RDF	user interface, profile, model transformation, model-driven engineering, template
20	Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif	Robust speech recognition using evolutionary class-dependent LDA.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	mfcc, particle swarm optimization, speech recognition, linear discriminate analysis, harmony search, transformation matrix
20	Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif	Evolutionary-class independent LDA as a pre-process for improving classification.	GECCO	2009	DBLP DOI BibTeX RDF	genetic algorithm, classification, evolutionary algorithm, particle swarm optimization, linear discriminate analysis, pre-processing, transformation matrix
20	Jean Utke, Uwe Naumann, Michael W. Fagan, Nathan R. Tallent, Michelle Mills Strout, Patrick Heimbach, Chris Hill, Carl Wunsch	OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	adjoint compiler, Automatic differentiation, source transformation
20	Du Li, Rui Li 0018	An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	computer-supported cooperative work, groupware, operational transformation, consistency maintenance, group editing
20	Johann Eder, Karl Wiggisser	Modeling Transformations between Versions of a Temporal Data Warehouse.	ER Workshops	2008	DBLP DOI BibTeX RDF	Data Warehouse Maintenance, Temporal Data Warehouses, Data Transformation
20	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Control flow optimization in loops using interval analysis.	CASES	2008	DBLP DOI BibTeX RDF	algorithmic code transformation, compiler loop optimization, interval analysis
20	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
20	Rasha Tawhid, Dorina C. Petriu	Towards automatic derivation of a product performance model from a UML software product line model.	WOSP	2008	DBLP DOI BibTeX RDF	model transformation, software product line, software performance engineering, uml, marte
20	Arnaud Blouin, Olivier Beaudoux, Stéphane Loiseau	Malan: a mapping language for the data manipulation.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	malan, UML, mapping, schema transformation, data manipulation, schema translation
20	Thierry Joffrain, Tze Meng Low, Enrique S. Quintana-Ortí, Robert A. van de Geijn, Field G. Van Zee	Accumulating Householder transformations, revisited.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Householder transformation, compact WY transform, Linear algebra, QR factorization
20	Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama	Elimination Transformations for Associative-Commutative Rewriting Systems.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	(AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation
20	Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu	A Formal Model Driven Approach to Dependable Software Evolution.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF	Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL)
20	Ivan Porres	Rule-based update transformations and their application to model refactorings.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Model transformation, Model driven engineering
20	Atsushi Katayama, Takao Nakamura, Masashi Yamamuro, Noboru Sonehara	New high-speed frame detection method: Side Trace Algorithm (STA) for i-appli on cellular phones to detect watermarks.	MUM	2004	DBLP DOI BibTeX RDF	i-appli, Java, watermark, camera, corner detection, cellular phone, projective transformation, line detection
20	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
20	Abhay Vardhan, Gul Agha	Using passive object garbage collection algorithms for garbage collection of active objects.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Java, agents, program transformation, garbage collection, actors, active objects
20	Thorsten Ehm	Transformational Construction of Correct Pointer Algorithms.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Paterson/Hewitt, pointer algorithms, destructive updates, program transformation
20	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
20	Valerie Graf-Drasch, Leonie Kauffeld, Laura Kempf, Anna Maria Oberländer, Antonie Teuchert	Driving twin Transformation - the Interplay of Digital Transformation and Sustainability Transformation.	ECIS	2023	DBLP BibTeX RDF
20	Franz Nazet, Michal Kuciapski	Blockchain Technology Perception in Supporting the Digital Transformation of Supply Chain Management: A Preliminary Study.	PLAIS	2022	DBLP DOI BibTeX RDF
20	Eleonora Veglianti, Yaya Li, Marco De Marco	The Role of Smart Buildings in the Digital Transformation Era: Insight on China.	PLAIS	2021	DBLP DOI BibTeX RDF
20	Patrycja Krauze-Maslankowska	Open Data and Smart City Initiatives for Digital Transformation in Public Sector in Poland. A Survey.	PLAIS	2021	DBLP DOI BibTeX RDF
20	Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth	Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.	ICGT	2016	DBLP DOI BibTeX RDF
20	Abdoulkader Osman Guédi	Évolution et Transformation automatisée de modèles de Systèmes d'Information. (Evolution and Transformation of Automatic Information Systems modelsEvolution and Transformation of Automatic Information Systems models : Une approche guidée par l'Analyse Formelle de Concepts et l'Analyse Relationnelle de Concepts).		2013	RDF
20	Hajer Saada	Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery). (Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation).		2013	RDF
20	Asif Ali Munshi, Fareed Hussain	Transformation of traditional business to electronic business a transformation cum maturity model and transformation matrix.	ICETE	2005	DBLP BibTeX RDF
20	Karsten Ehrig, Jessica Winkelmann	Model Transformation From VisualOCL to OCL Using Graph Transformation.	GRaMoT@GPCE	2005	DBLP DOI BibTeX RDF
20	Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai	Applying a Model Transformation Taxonomy to Graph Transformation Technology.	GRaMoT@GPCE	2005	DBLP DOI BibTeX RDF
20	Ulrich Neumerkel	A Transformation Based in the Equality Between Terms.	LOPSTR	1993	DBLP BibTeX RDF
20	Pierre De Boeck, Baudouin Le Charlier	Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.	LOPSTR	1993	DBLP BibTeX RDF
20	Kung-Kiu Lau, Mario Ornaghi	A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.	LOPSTR	1993	DBLP BibTeX RDF
20	Bart Demoen	On the Transformation of a Prolog Program to a More Efficient Binary Program.	LOPSTR	1992	DBLP DOI BibTeX RDF
20	Mattias Waldau	Formal Validation of Transformation Schemata.	LOPSTR	1991	DBLP DOI BibTeX RDF
19	Kiran Sonia, Sharifullah Khan	R2O transformation system: relation to ontology transformation for scalable data integration.	IDEAS	2008	DBLP DOI BibTeX RDF	source model, ontology, data integration, conceptual modeling, OWL, semantic similarity
19	Bernd Brassel, Sebastian Fischer 0001, Frank Huch	A Program Transformation for Tracing Functional Logic Computations.	LOPSTR	2006	DBLP DOI BibTeX RDF
19	Jiming Liu 0001, William Kwok-Wai Cheung	A Driving Force for e-Transformation - The Centre for e-Transformation Research / WIC Hong Kong Centre.	Web Intelligence	2004	DBLP DOI BibTeX RDF
19	John P. Gallagher	A Program Transformation for Backwards Analysis of Logic Programs.	LOPSTR	2003	DBLP DOI BibTeX RDF
19	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	WSDFU: Program Transformation System Based on Generalized Partial Computation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
19	Paolo Baldan, Barbara König 0001	Approximating the Behaviour of Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
19	Ming Li 0001, Louxin Zhang	Better Approximation of Diagonal-Flip Transformation and Rotation Transformation.	COCOON	1998	DBLP DOI BibTeX RDF
19	Mark Pauly, Niloy J. Mitra, Johannes Wallner 0001, Helmut Pottmann, Leonidas J. Guibas	Discovering structural regularity in 3D geometry.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	repetitive pattern, transformation group, shape analysis, similarity transformation, regular structure
19	Perdita Stevens	A Landscape of Bidirectional Model Transformations.	GTTSE	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, bidirectional programming language, graph transformation, QVT, triple graph grammar
19	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Code Analysis for Temporal Predictability.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages
19	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
19	Goetz Botterweck	A Model-Driven Approach to the Engineering of Multiple User Interfaces.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	multiple front-ends, Atlas Transformation Language, model transformation, user interface modelling, Model-driven, ATL, user interface engineering, multiple user interfaces
19	Daniel A. Keim, Christian Panse, Stephen C. North	Medial-Axis-Based Cartograms.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	contiguous cartograms, mesh transformation, drawing algorithm, medial axes transformation, cartodraw, information visualization, geovisualization, cartogram
19	Aseem Daga, Sergio de Cesare, Mark Lycett, Christopher Partridge	An Ontological Approach for Recovering Legacy Business Content.	HICSS	2005	DBLP DOI BibTeX RDF	legacy transformation, content transformation, ontology, legacy system
19	Dániel Varró, András Pataricza	VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Refinement, Model transformation, Metamodeling, Formal semantics, Graph transformation
19	Wolfgang Günther 0001, Rolf Drechsler	Linear Transformations and Exact Minimization of BDDs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	FPGA, synthesis, BDD, linear transformation, variable ordering, spectral transformation
19	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software.	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
19	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	Automatic Model Generation Strategies for Model Transformation Testing.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
19	Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen	A Collection Operator for Graph Transformation.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
19	Jian-Long Kuo	Intelligent Decoupled SAC-SVD Method in Color Space Transformation of Computer Vision.	IEA/AIE	2009	DBLP DOI BibTeX RDF	reconfigurable computing system (RCS), single assignment C (SAC), chromaticity coordinate, parallel computing, singular value decomposition (SVD), VHDL, data flow graph (DFG), color space, Decoupled
19	Rainer Hauser, Michael Friess, Jochen Malte Küster, Jussi Vanhatalo	An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
19	Zef Hemel, Lennart C. L. Kats, Eelco Visser	Code Generation by Model Transformation.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
19	JianHong Ye, ShiXin Sun, Lijie Wen, Wen Song	Transformation of BPMN to YAWL.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Romain Robbes, Michele Lanza	Example-Based Program Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
19	Khan M. Iftekharuddin, Yaqin Li	A biologically-inspired computational model for transformation invariant target recognition.	IJCNN	2008	DBLP DOI BibTeX RDF
19	Reiko Heckel	Tutorial Introduction to Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
19	Girija Chetty	A Novel Shape Transformation Approach for Quantizing Facial Expressions.	DICTA	2008	DBLP DOI BibTeX RDF
19	Tadahiko Kimoto	Modified Level Transformation for Bit Inversion Inwatermarking.	ICIP (4)	2007	DBLP DOI BibTeX RDF
19	Shige Wang	Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design.	HASE	2007	DBLP DOI BibTeX RDF
19	Yale N. Patt	The Transformation Hierarchy in the Era of Multi-core.	HiPC	2007	DBLP DOI BibTeX RDF
19	Jason Cong, Guojie Luo, Jie Wei, Yan Zhang	Thermal-Aware 3D IC Placement Via Transformation.	ASP-DAC	2007	DBLP DOI BibTeX RDF
19	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Short-Circuit Compiler Transformation: Optimizing Conditional Blocks.	ASP-DAC	2007	DBLP DOI BibTeX RDF
19	Qiong Huang 0001, Duncan S. Wong, Yiming Zhao	Generic Transformation to Strongly Unforgeable Signatures.	ACNS	2007	DBLP DOI BibTeX RDF
19	Min-Seok Kim, Ha-Jin Yu	A New Feature Transformation Method Based on Rotation for Speaker Identification.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
19	Esther Guerra, Daniel Sanz, Paloma Díaz 0001, Ignacio Aedo	A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.	ICWE	2007	DBLP DOI BibTeX RDF
19	Manuel Wimmer, Michael Strommer, Horst Kargl, Gerhard Kramler	Towards Model Transformation Generation By-Example.	HICSS	2007	DBLP DOI BibTeX RDF
19	Atsuyuki Okabe, Toshiaki Satoh	Uniform network transformation for points pattern analysis on a non-uniform network.	J. Geogr. Syst.	2006	DBLP DOI BibTeX RDF	JEL Classification C12, C14, C15, C13
19	Xia Hong 0001	A fast identification algorithm for box-cox transformation based radial basis function neural network.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
19	Jan Mendling, Michael Moser, Gustaf Neumann	Transformation of yEPC business process models to YAWL.	SAC	2006	DBLP DOI BibTeX RDF	yEPC, workflow, business process modeling, EPC, YAWL
19	András Balogh, Dániel Varró	Advanced model transformation language constructs in the VIATRA2 framework.	SAC	2006	DBLP DOI BibTeX RDF
19	Zarrin Langari, Richard J. Trefler	Formal Modeling of Communication Protocols by Graph Transformation.	FM	2006	DBLP DOI BibTeX RDF
19	Manoli Albert, Javier Muñoz, Vicente Pelechano, Oscar Pastor 0001	Model to Text Transformation in Practice: Generating Code from Rich Associations Specifications.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
19	Sari Hakkarainen, Lillian Hella, Darijus Strasunskas, Stine Tuxen	A Semantic Transformation Approach for ISO 15926.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
19	Jin Dong, Hongwei Ding, Changrui Ren, Wei Wang 0024	IBM SmartSCOR - a SCOR based supply chain transformation platform through simulation and optimization techniques.	WSC	2006	DBLP DOI BibTeX RDF
19	Gregor Engels, Marc Lohmann, Stefan Sauer 0001, Reiko Heckel	Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.	ICGT	2006	DBLP DOI BibTeX RDF
19	Juhnyoung Lee, Anca-Andreea Ivan	Value-Centric, Model-Driven Business Transformation.	CEC/EEE	2006	DBLP DOI BibTeX RDF
19	Marion Murzek, Gerhard Kramler, Elke Michlmayr	Structural Patterns for the Transformation of Business Process Models.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
19	Mao Chen 0001, Jakka Sairamesh	A Knowledge Model-driven Recommender System for Business Transformation.	IEEE SCC	2006	DBLP DOI BibTeX RDF
19	Isabel Díaz, Lidia Moreno, Oscar Pastor 0001, Alfredo Matteo	Interaction Transformation Patterns Based on Semantic Roles.	NLDB	2005	DBLP DOI BibTeX RDF