Search results for "Transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Kajal T. Claypool, Elke A. Rundensteiner	Gangam: A Transformation Modeling Framework.	DASFAA	2003	DBLP DOI BibTeX RDF	Cross Model Mapping Algebra, Heterogeneous System Integration, Schema Transformation
27	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang	GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.	WCRE	2001	DBLP DOI BibTeX RDF	Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant
27	Ju-Won Song, Kyu-Young Whang, Young-Koo Lee, Sang-Wook Kim	The clustering Property of Corner Transformation for Spatial Database Applications.	COMPSAC	1999	DBLP DOI BibTeX RDF	corner transformation, clustering, spatial databases, spatial index
26	Gerhard Koekemoer, Jan W. H. Swanepoel	A semi-parametric method for transforming data to normality.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Profile likelihood, qq-Plots, Semi-parametric, Transformation, Normality
26	David S. Vogel, Morgan C. Wang	1-dimensional splines as building blocks for improving accuracy of risk outcomes models.	KDD	2004	DBLP DOI BibTeX RDF	variable transformation, data mining, adaptive, prediction, risk, spline, linear model, outcomes
26	Paula Leinonen	Automating XML document structure transformations.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	document structure transformation, XML, XSLT
26	Eila Kuikka, Paula Leinonen, Martti Penttonen	Towards automating of document structure transformations.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	document structure transformation
26	Damien Lolive	Transformation de l'intonation : application à la synthèse de la parole et à la transformation de voix. (Prosody transformation : application to speech synthesis and voice transformation).		2008	RDF
26	Juan M. Vara, Belén Vela, José María Cavero, Esperanza Marcos	Model transformation for object-relational database development.	SAC	2007	DBLP DOI BibTeX RDF	model transformation, graph transformation, formalization, object-relational databases
26	Nora Koch	Transformation techniques in the model-driven development process of UWE.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UWE, UML, MDA, model transformation, model-driven development, metamodel, Web Engineering, modeling language, transformation language
26	Sheena R. Judson, Doris L. Carver, Robert B. France	A metamodeling approach to model transformation.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	query/view/transformation (QVT), UML, design patterns, model driven architecture (MDA), evolution, model transformation
26	Günter Kniesel, Pascal Costanza, Michael Austermann	Jmangler-A Framework for Load-Time Transformation of Java Class Files.	SCAM	2001	DBLP DOI BibTeX RDF	JMangler, load-time transformation, class file transformation, class loader, transformer components, independent extensibility
26	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
26	Hong-Chih Liu, Mandyam D. Srinath	Partial Shape Classification Using Contour Matching in Distance Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	partial shape classification, boundary segmentation, translation estimation, rotation estimation, scaling factor estimation, boundary normalisation, 2D shapes, curvature function, local maxima, boundary-matching, chamfer 3/4 distance transformation, partial distance measurement, sharp corners, pattern recognition, picture processing, noise, digitized image, distance transformation, local minima, contour matching, curve segments
25	Kaori Fujiwara, Bala Ramachandran, Akio Koide, Jay Benayon	Business Process Transformation Wizard: a Bridge between Business Analysts and Business Process Transformation Technology.	IEEE SCC	2007	DBLP DOI BibTeX RDF
25	Julia Padberg, Bettina Enders	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.	ICGT	2002	DBLP DOI BibTeX RDF
25	Szilvia Gyapay, Reiko Heckel, Dániel Varró	Graph Transformation with Time: Causality and Logical Clocks.	ICGT	2002	DBLP DOI BibTeX RDF
25	Walter Dosch, Sönke Magnussen	The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.	WADT	2001	DBLP DOI BibTeX RDF
25	Gilberto Zamora, Shuyu Yang, Mark P. Wilson, Sunanda Mitra	Segmentation by Color Space Transformation Prior to Lifting and Integer Wavelet Transformation for Efficient Lossless Coding and Transmission.	SSIAI	2000	DBLP DOI BibTeX RDF
25	Halime Büyükyildiz, Pierre Flener	Generalised Logic Program Transformation Schemas.	LOPSTR	1997	DBLP DOI BibTeX RDF
25	Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo	The design of a language for model transformations.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	UML, Model driven architecture, Model transformation, Graph transformation, Graph rewriting
25	Dániel Varró, András Pataricza	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.	UML	2002	DBLP DOI BibTeX RDF	refinement, model transformation, metamodeling, formal semantics, graph transformation
25	Huy Nguyen 0001, Abhijit Chatterjee	OPTIMUS: a new program for OPTIMizing linear circuits with number-splitting and shift-and-add decompositions.	ARVLSI	1995	DBLP DOI BibTeX RDF	linear network synthesis, OPTIMUS program, linear circuits, shift-and-add decomposition, behavioral synthesis tool, architectural transformations, numerical matrix transformation algorithms, number-splitting transformation, optimization, high level synthesis, multiplications, circuit CAD, circuit optimisation, matrix decomposition
25	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack	The Epsilon Transformation Language.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
25	Xiongjun Li	A Generalized Matrix-based Scrambling Transformation and its Properties.	ICYCS	2008	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Claudia Ermel	Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
25	L. Llucia, Sébastien Mavromatis, S. Perrotte, Paulo Dias, Jean Sequeira	Camera Location and Aperture Characterization Using the Transformation between a 2D Plane and the Image Captured by the Camera.	ICIAR	2008	DBLP DOI BibTeX RDF
25	Thomas Triebsees, Uwe M. Borghoff	A Theory for Model-Based Transformation Applied to Computer-Supported Preservation in Digital Archives.	ECBS	2007	DBLP DOI BibTeX RDF
25	Geylani Kardas, Arda Goknil, Oguz Dikenelli, N. Yasemin Topaloglu	Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems.	MATES	2007	DBLP DOI BibTeX RDF
25	Bert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	UniTI: A Unified Transformation Infrastructure.	MoDELS	2007	DBLP DOI BibTeX RDF
25	Anneke Kleppe	MCC: A Model Transformation Environment.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
25	Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann	Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay	Termination Criteria for Model Transformation.	FASE	2005	DBLP DOI BibTeX RDF
25	Keisuke Nakano 0001	An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.	APLAS	2004	DBLP DOI BibTeX RDF
25	Mohamed Kamal Omar, Mark Hasegawa-Johnson	Approximately independent factors of speech using nonlinear symplectic transformation.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
25	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
25	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
25	Thomas Genssler, Volker Kuttruff	Source-to-Source Transformation in the Large.	JMLC	2003	DBLP DOI BibTeX RDF
25	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi	A Theoretical Foundation of Program Synthesis by Equivalent Transformation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
25	Sabine Kuske	A Formal Semantics of UML State Machines Based on Structured Graph Transformation.	UML	2001	DBLP DOI BibTeX RDF
25	Soon-Kyeong Kim, David A. Carrington, Roger Duke	A Metamodel-based transformation between UML and Object-Z.	HCC	2001	DBLP DOI BibTeX RDF
25	Chi Chi Hung, Lim Yan Hong	Bandwidth Sensitive Content Transformation in Pervasive Computing.	ISCC	2000	DBLP DOI BibTeX RDF
25	Jingzhi Guo, Chengzheng Sun, David Chen 0002	Transforming Heterogeneous Product Concepts through Mapping Structures.	CW	2004	DBLP DOI BibTeX RDF
25	Ivan Kurtev, Klaas van den Berg	MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture.	MDAFA	2004	DBLP DOI BibTeX RDF
24	Zoltán Balogh 0003, Dániel Varró	Model transformation by example using inductive logic programming.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	By-example synthesis, Model transformation, Inductive logic programming
24	Fuchao Wu, Zhiheng Wang, Zhanyi Hu	Cayley Transformation and Numerical Stability of Calibration Equation.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	The absolute conic, Calibration equation, Cayley transformation, Camera calibration, Numerical stability
24	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
24	Yu Sun 0002	Model transformation by demonstration.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model transformation, demonstration
24	Hicham G. Elmongui, Vivek R. Narasayya, Ravishankar Ramamurthy	A framework for testing query transformation rules.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	query optimization, transformation rules, database testing
24	Stefan Jurack, Gabriele Taentzer	Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.	MoDELS	2009	DBLP DOI BibTeX RDF	Eclipse, graph transformation, Distributed modeling
24	Manuel Carcenac	A modular neural network applied to image transformation and mental images.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Mental images, Mental assemblage, Modular neural networks, Image transformation, Mental rotation, Levenberg-Marquardt method
24	Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki	A Revised Transformation Protocol for Unconditionally Secure Secret Key Exchange.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Random deal of cards, Secret key exchange, Key set protocol, Transformation protocol, Card games
24	Syed Sajjad Rizvi, Aasia Riasat, Khaled M. Elleithy	Transformation Matrix System for Reducing the Computational Complexity of Wireless Multi-User Receivers for DS-CDMA Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Multiuser Communications, Computational Complexity, DS-CDMA, Transformation Matrix
24	Michael Strommer, Manuel Wimmer	A Framework for Model Transformation By-Example: Concepts and Tool Support.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	mapping language, GMF, model transformation, concrete syntax
24	Martin P. Ward, Hussein Zedan	Slicing as a program transformation.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
24	Pablo Berdaguer, Alcino Cunha, Hugo Pacheco 0001, Joost Visser 0001	Coupled Schema Transformation and Data Conversion for XML and SQL.	PADL	2007	DBLP DOI BibTeX RDF	XML, SQL, Transformation, Haskell
24	Dániel Varró, Zoltán Balogh 0003	Automating model transformation by example using inductive logic programming.	SAC	2007	DBLP DOI BibTeX RDF	by-example synthesis, model transformation, inductive logic programming
24	Michael Strommer, Marion Murzek, Manuel Wimmer	Applying Model Transformation By-Example on Business Process Modeling Languages.	ER Workshops	2007	DBLP DOI BibTeX RDF	MTBE, Model Transformation, Business Process Models
24	Gergely Varró, Katalin Friedl, Dániel Varró	Implementing a Graph Transformation Engine in Relational Databases.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Relational databases, Pattern matching, Tool support, Graph transformation
24	Dong-Hoon Shin, Kyong-Ho Lee	Generating XSLT scripts for the fast transformation of XML documents.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, XSLT, document transformation
24	Jinyoung Moon, Daeha Lee, Chankyu Park, Hyunkyu Cho	Transformation Algorithms between BPEL4WS and BPML for the Executable Business Process.	WETICE	2004	DBLP DOI BibTeX RDF	BPML, Web services, Transformation, business process, BPEL4WS
24	Guowei Zu, Wataru Ohyama, Tetsushi Wakabayashi, Fumitaka Kimura	Accuracy improvement of automatic text classification based on feature transformation.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	automatic text classification, variable transformation, principal component analysis
24	Aguido Horatio Davis, Chengzheng Sun, Junwei Lu	Generalizing operational transformation to the standard general markup language.	CSCW	2002	DBLP DOI BibTeX RDF	groves, synchronous collaborative editing, XML, XML, computer supported cooperative work, HTML, SGML, SGML, SGML, operational transformation
24	Bernhard Balkenhol, Stefan Kurtz	Universal Data Compression Based on the Burrows-Wheeler Transformation: Theory and Practice.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	context trees, suffix trees, Burrows-Wheeler Transformation, Lossless data compression
24	Wei Sun, Xin-yuan Huang, Dongxu Qi	The Study on Stereoscopic Image Generating Algorithm Based on Image Transformation.	ICMI	2000	DBLP DOI BibTeX RDF	VR, algorithm, Image-base modeling, Image Transformation, Stereoscopic image
24	Loong Fah Cheong, Kok-Onn Ng	Geometry of Distorted Visual Space and Cremona Transformation.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	cremona transformation, structure from motion, error analysis, motion analysis, shape representation, stereopsis
24	Fabrice Kordon	MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Meta-data description, Semantic transformation, Code generation
24	Uwe Aßmann	How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems.	CC	1996	DBLP DOI BibTeX RDF	optimization, specification, program transformation, Program analysis, graph rewrite systems
24	Josef Grosch	Transformation of Attributed Trees Using Pattern Matching.	CC	1992	DBLP DOI BibTeX RDF	attributed trees, pattern matching, transformation
23	Rong Yan, Fangyu Peng, Bin Li 0026	A Method of General Stiffness Modeling for Multi-axis Machine Tool.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Multi-axis, Point transformation matrix, Stiffness
23	Andrés Vignaga, M. Cecilia Bastarrica	Transforming system operations' interactions into a design class diagram.	SAC	2007	DBLP DOI BibTeX RDF	Kermeta, model transformation, metamodeling, MDE
23	Yingfei Xiong 0001, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei 0001	Towards automatic model synchronization from model transformations.	ASE	2007	DBLP DOI BibTeX RDF	MDA, model transformation, ATL, model synchronization
23	Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001, David Parello, Marc Sigler, Olivier Temam	Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	semi-automatic program transformation, Compiler optimization, automatic parallelization, polyhedral model
23	Ivan Kurtev, Klaas van den Berg	Building adaptable and reusable XML applications with model transformations.	WWW	2005	DBLP DOI BibTeX RDF	XML, MDA, model transformations, XML processing, transformation language
23	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
23	Yuangui Lei	An instance mapping ontology for the semantic web.	K-CAP	2005	DBLP DOI BibTeX RDF	instance mapping, mapping ontology, semantic data transformation, semantic web, ontology mapping
23	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Parallelization with Tree Skeletons.	Euro-Par	2003	DBLP DOI BibTeX RDF	Parallel Skeletons, Tree Algorithms, Algorithm Derivation, Parallelization, Program Transformation
23	Walter Dosch, Sönke Magnussen	Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.	SERA	2003	DBLP DOI BibTeX RDF	Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
23	Ali Can, Charles V. Stewart, Badrinath Roysam, Howard L. Tanenbaum	A Feature-Based, Robust, Hierarchical Algorithm for Registering Pairs of Images of the Curved Human Retina.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	transformation estimation, feature refinement, multiscale methods, ophthalmic image processing, feature extraction, registration, robust estimation, image mosaic, retinal imaging, biomedical image processing
23	Maribel Hudson, Jonathan Sprinkle	Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks.	ECBS	2011	DBLP DOI BibTeX RDF	generative transformations, transformation simplification, Model transformation, domain-specific modeling
23	Fabian Büttner, Hanna Bauerdick, Martin Gogolla	Towards Transformation of Integrity Constraints and Database States.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint
23	Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen	Incremental execution of transformation specifications.	POPL	2004	DBLP DOI BibTeX RDF	language factors, residuation operators, transformation specification, logic programming, constraints, program transformation, program analysis, incremental algorithm
22	Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu 0005, Bogdan Korel, Phil McMinn, Marc Roper	Testability Transformation - Program Transformation to Improve Testability.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
22	Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
22	Bala Ramachandran, Kaori Fujiwara, Makoto Kano, Akio Koide, Jay Benayon	Business process transformation patterns & the business process transformation wizard.	WSC	2006	DBLP DOI BibTeX RDF
22	Thom W. Frühwirth	Specialization of Concurrent Guarded Multi-set Transformation Rules.	LOPSTR	2004	DBLP DOI BibTeX RDF
22	Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer	Confluence of Typed Attributed Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
22	Luciano Baresi, Reiko Heckel	Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.	ICGT	2002	DBLP DOI BibTeX RDF
22	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.	LOPSTR	2001	DBLP DOI BibTeX RDF	Logic Program Transformations, Deductive Databases
22	Alberto Momigliano, Mario Ornaghi	Towards a Logic for Reasoning About Logic Programs Transformation.	LOPSTR	1997	DBLP DOI BibTeX RDF
22	Iván García-Magariño, Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz	INGENIAS Development Process Assisted with Chains of Transformations.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Transformation By-Example, INGENIAS, Multi-Agent Systems, Model Transformation, Model-Driven Development
22	Yigang He, Wenji Zhu	Fault Diagnosis of Nonlinear Analog Circuits Using Neural Networks and Multi-Space Transformations.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Bilinear Transformation, Space Transformation, Neural Network, Fault Diagnosis, Analog Circuits
22	Haokui Tang, Zhiquan Feng, Tao Xu	Enhance Algorithm of Hand's Skin Color Base on Multi-method Integration.	ISIP	2008	DBLP DOI BibTeX RDF	Logarithm Transformation, Exponential Transformation, Self-motion Threshold, Hand
22	Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai	Applying a Grouping Operator in Model Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF	Model Transformation, Graph Transformation
22	Feng Chen 0004, Hongji Yang	Model Oriented Evolutionary Redocumentation.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF	Program Transformation, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL), Redocumentation, Model Driven Engineering (MDE)
22	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
22	Kiminori Matsuzaki, Kazuhiko Kakehi 0001, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi	A Fusion-Embedded Skeleton Library.	Euro-Par	2004	DBLP DOI BibTeX RDF	Skeletal Parallel Programming, Fusion Transformation, Bird-Meertens Formalism, Optimization, Program Transformation
22	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
22	Ronen Basri, David W. Jacobs	Recognition Using Region Correspondences.	ICCV	1995	DBLP DOI BibTeX RDF	region correspondences, model-image transformation, object presence determination, object position determination, volume/region subset matching, alignment transformation, 3D object projections, computer vision, image segmentation, computational geometry, object recognition, object recognition, affine transformations, projective transformations, similarity transformations, planar objects
22	Wei Li 0015, Keshav Pingali	Access Normalization: Loop Restructuring for NUMA Compilers.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	nonsingular loop transformation, nonuniform memory access machines, parallelizing compilers, data locality, loop transformation