Search results for "Transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
18	Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng	The case for analysis preserving language transformation.	ISSTA	2006	DBLP DOI BibTeX RDF	language transformation, security, Java, verification, static analysis, C, language translation
18	Marat Boshernitsan, Susan L. Graham	Interactive transformation of java programs in eclipse.	ICSE	2006	DBLP DOI BibTeX RDF	transformation, languages, interactive environments
18	João Paulo A. Almeida, Pascal van Eck, Maria-Eugenia Iacob	Requirements Traceability and Transformation Conformance in Model-Driven Development.	EDOC	2006	DBLP DOI BibTeX RDF	con-formance, assessment, model transformation, requirements traceability, model-driven design
18	Silas S. Brown, Peter Robinson 0001	Interacting with notations: two examples of the use of a transformation system.	Univers. Access Inf. Soc.	2005	DBLP DOI BibTeX RDF	Interfaces, Transformation, Music, Blind, Low vision
18	Chu Wenchang, Livia De Donno	Transformation on Infinite Double Series and Applications to Harmonic Number Identities.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Harmonic Number, Bernoulli Number, Catalan Constant, Binomial Coefficient Identity, Double Series Transformation, Euler Number
18	Timothy W. O'Neil, Edwin Hsing-Mean Sha	Combining Extended Retiming and Unfolding for Rate-Optimal Graph Transformation.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	scheduling, graph transformation, retiming, unfolding, data-flow graphs, timing optimization
18	Xiaoqing Wu	Pattern transformation for two-dimensional separation of concerns.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	pattern transformation, design patterns, AOP, separation of concerns
18	Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan	Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks
18	Luciano Baresi, Elisa Quintarelli	Graph transformation to infer schemata from XML documents.	SAC	2005	DBLP DOI BibTeX RDF	XML, graph transformation, semistructured data, DTD
18	Qinhua Zhu, Yongquan Yu, Wen Cai	Extension Set and the Research of the Extension ADD Transformation.	ICITA (1)	2005	DBLP DOI BibTeX RDF	extension set, matter element, extension transformation, thermal piles, permafrost
18	Yoshihide Hosokawa, Naoki Kimura, Naohisa Takahashi	An implementation method of a location-based active map transformation system.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	map transformation, mobile computing, context awareness
18	Chung-Wen Cho, Yi-Hung Wu, Arbee L. P. Chen	Effective Database Transformation and Efficient Support Computation for Mining Sequential Patterns.	DASFAA	2005	DBLP DOI BibTeX RDF	Database transformation, Frequent k-sequences, Data mining, Sequential patterns
18	Ching-Te Wang, Tung-Shou Chen, Wen-Hung Chao	A New Detection Method for Tampered Audio Signals Based on Discrete Cosine Transformation.	WSTST	2005	DBLP DOI BibTeX RDF	discrete cosine transformation, audio, frequency domain, MP3
18	Mark A. Whiting, Wendy Cowley, Nick Cramer, Alex Gibson, Ryan Hohimer, Ryan Scott, Stephen Tratz	Enabling massive scale document transformation for the semantic web: the universal parsing agent™.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	XML, natural language processing, parsing, regular expressions, XSLT, document transformation
18	Pascale Fung, Grace Ngai, Yongsheng Yang, Benfeng Chen	A maximum-entropy chinese parser augmented by transformation-based learning.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	Parsing for Chinese, chunking and parsing for Chinese, transformation-based learning, maximum entropy, POS tagging
18	Silas S. Brown, Peter Robinson 0001	Transformation frameworks and their relevance in universal design.	Univers. Access Inf. Soc.	2004	DBLP DOI BibTeX RDF	4DML, Education, Tools, Transformation, Conversion, Notations
18	David Sun, Steven Xia, Chengzheng Sun, David Chen 0002	Operational transformation for collaborative word processing.	CSCW	2004	DBLP DOI BibTeX RDF	operational transformation, multi-versioning, group undo
18	Shengjun Li, Ruimin Shen	Hook and Screen Division Based Screen Compression for the Real-Time Multimedia Transformation of e-Learning System.	ICWL	2004	DBLP DOI BibTeX RDF	Hook and Screen Division, Screen Compression, real-time multimedia transformation, E-Learning, lossless compression, lossy compression
18	Wei Xu, Daniel C. DuVarney, R. Sekar 0001	An efficient and backwards-compatible transformation to ensure memory safety of C programs.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	program transformation, C, memory safety
18	Nikita Schmidt, Corina Sas	Software usability: a comparison between two tree-structured data transformation languages.	NordiCHI	2004	DBLP DOI BibTeX RDF	data transformation language, metadata, software metrics, tree-structured data, software usability
18	Bertrand Anckaert, Bjorn De Sutter, Dominique Chanet, Koen De Bosschere	Steganography for Executables and Code Transformation Signatures.	ICISC	2004	DBLP DOI BibTeX RDF	code transformation signature, steganography, executables
18	Rong Pan, Qiang Yang 0001, Lei Li 0022	Case Retrieval Using Nonlinear Feature-Space Transformation.	ECCBR	2004	DBLP DOI BibTeX RDF	Case Base Transformation, Nonlinear Case Bases, Similarity
18	Sangwook Kim, Kyungdeok Kim, Sookyoung Lee	Transformation of MPEG-4 Contents for a PDA Device.	PCM (2)	2004	DBLP DOI BibTeX RDF	Adaptation, Authoring, Transformation, MPEG-4
18	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
18	Songwen Xu, Yam San Chee	Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Automatic program diagnosis, programming tutoring systems, program comparison, program matching, program transformation, program representation
18	Ruoming Pang, Vern Paxson	A high-level programming environment for packet trace anonymization and transformation.	SIGCOMM	2003	DBLP DOI BibTeX RDF	packet trace, internet, privacy, measurement, anonymization, transformation, network intrusion detection
18	Hajime Sawamura, Wataru Kawakami, Yuichi Umeda	Argument transformation for growing agents with mobility.	AAMAS	2003	DBLP DOI BibTeX RDF	argument transformation, mobility, argumentation
18	Takahiro J. Yamaguchi, Dong Sam Ha, Masahiro Ishida, Tadahiro Ohmi	A Method for Compressing Test Data Based on Burrows-Wheeler Transformation.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	compression, Data compression, test data compression, Burrows-Wheeler transformation, test data, run-length coding
18	Bernard Tiddeman, David I. Perrett	Transformation of dynamic facial image sequences using static 2D prototypes.	Vis. Comput.	2002	DBLP DOI BibTeX RDF	Facial image transformation, Image processing
18	Martin P. Ward	The Formal Transformation Approach to Source Code Analysis and Manipulation.	SCAM	2001	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
18	Sandro Bartolini, Cosimo Antonio Prete	An Object Level Transformation Technique to Improve the Performance of Embedded Applications.	SCAM	2001	DBLP DOI BibTeX RDF	procedure reordering, optimization, cache, program transformation, conflict misses
18	Filippo Ricca, Paolo Tonella, Ira D. Baxter	Restructuring Web Applications via Transformation Rules.	SCAM	2001	DBLP DOI BibTeX RDF	Web applications, restructuring, transformation rules
18	Hong Tang 0004, Kai Shen, Tao Yang 0009	Program transformation and runtime support for threaded MPI execution on shared-memory machines.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
18	Francisco de Assis Zampirolli, Roberto de Alencar Lotufo	Classification of the Distance Transformation Algorithms under the Mathematical Morphology Approach.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	distance transformation algorithm classification, sequential raster algorithms, parallel algorithms, image processing, image processing, computer architectures, mathematical morphology, binary image, distance metric, propagation algorithms
18	Wael M. Badawy, Magdy A. Bayoumi	A Multiplication-Free Parallel Architecture for Affine Transformation.	ASAP	2000	DBLP DOI BibTeX RDF	parallel architecture, Video, mesh, VLSI architecture, affine transformation, triangular patches
18	Daniel Weiskopf, Ute Kraus, Hanns Ruder	Searchlight and Doppler effects in the visualization of special relativity: a corrected derivation of the transformation of radiance.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	Lorentz transformation, aberration of light, searchlight effect, illumination, Doppler effect, special relativity
18	Michael Goedicke, Torsten Meyer, Gabriele Taentzer	ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies.	RE	1999	DBLP DOI BibTeX RDF	Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management
18	Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	UMLAUT: An Extendible UML Transformation Framework.	ASE	1999	DBLP DOI BibTeX RDF	UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques
18	Toru Wakahara, Kazumi Odaka	Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Adaptive normalization, global and local affine transformation, weighted least-squares criterion, distortion-tolerant shape matching, deformation model
18	Toru Wakahara, Kazumi Odaka	Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation.	ICDAR	1997	DBLP DOI BibTeX RDF	Adaptive normalization, global and local affine transformation, weighted least-squares criterion, distortion-tolerant matching, cursive handwriting
18	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
18	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs.	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
18	Frank Vahid	Procedure exlining: a transformation for improved system and behavioral synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	VHDL transformation tool, distinct computation, procedure exlining, procedure inlining, redundant sequences, statements, formal specification, distributed processing, VHDL, hardware description languages, remote procedure calls, behavioral synthesis, behavioral specification, system synthesis, procedure calls, synthesis tools
18	Malek Adjouadi, Frank M. Candocia	A Stereo Matching Paradigm Based on the Walsh Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection
18	Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle	Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.	CONPAR	1994	DBLP DOI BibTeX RDF	Program Transformation and Program Derivation, Automatic Parallelization and Mapping, Functional Programming, Sparse Matrices
18	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
18	Hiromitsu Yamada, Kazuhiko Yamamoto, Katsumi Hosokawa	Directional Mathematical Morphology and Reformalized Hough Transformation for the Analysis of Topographic Maps.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	directional mathematical morphology, maps analysis, automatic digitisation, reformalized Hough transformation, graphical topographic maps, multiangled parallelism, erosion-dilation operations, directional feature planes, MAP matching method, 1/25000 scale map, parallel algorithms, image processing, image processing, feature extraction, feature extraction, mathematical morphology, Hough transforms, cartography, cartography
18	Hugo Embrechts, Dirk Roose	Parallel Algorithms for the Distance Transformation.	CONPAR	1992	DBLP DOI BibTeX RDF	image analysis, distance transformation, divide and conquer, MIMD machines
18	Kwangyoen Wohn, Jian Wu, Roger W. Brockett	A Contour-Based Recovery of Image Flow: Iterative Transformation Method.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	contour-based recovery, image flow, Iterative transformation method, 2-D motion, local ambiguity, 3-D motion, natural time-varying images, picture processing, convergence, iterative methods, polynomials, polynomial approximation, synthetic images, aperture problem
18	John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright	A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.	PARLE (1)	1989	DBLP DOI BibTeX RDF	Functional programming environment, program transformation, partial evaluation, parallel execution
18	Ken-ichi Kanatani	Transformation of Optical Flow by Camera Rotation.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	optical flow transformation, 3D rotation group, camera rotation, planar surface motion, computer vision, computer vision, picture processing, picture processing, cameras, parameter space
18	Stanley Y. W. Su, Herman Lam, Der Her Lo	Transformation of Data Traversals and Operations in Application Programs to Account for Semantic Changes of Databases.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	application program conversion, database changes, access pattern, semantic data model, transformation rules
17	Mangala Gowri Nanda, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha	Demystifying model transformations: an approach based on automated rule inference.	OOPSLA	2009	DBLP DOI BibTeX RDF	precondition analysis, transformation comprehension, model-driven development, model validation, model-to-model transform
17	Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger	TROPIC: a framework for model transformations on petri nets in color.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model transformation, colored petri nets
17	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
17	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
17	Giuseppe Martinelli	Hopfield-Like Neural Nets and Sensor Networks.	Neural Process. Lett.	2008	DBLP DOI BibTeX RDF	Transformation of nonlinear sensor networks into Hopfield-like nets, Nonlinear non-reciprocal sensor networks, Global consensus
17	Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi	A programmable editor for developing structured documents based on bidirectional transformations.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Bidirectional transformation, Functional programming, View updating, Document engineering, Structured editor
17	Ehab Moustafa	Public-private partnership in managing labor market in UAE - case study.	ICEGOV	2007	DBLP DOI BibTeX RDF	PPP, business innovations, governance model, parallel organization, private public partnership, e-government, change management, strategic planning, business transformation
17	Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo	Unfolding in CHR.	PPDP	2007	DBLP DOI BibTeX RDF	program transformation, unfolding, constraint handling rules
17	Parastoo Mohagheghi, Vegard Dehlen	Developing a Quality Framework for Model-Driven Engineering.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF	metrics, transformation, quality, Model-driven engineering
17	Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li	Towards a Model Driven Approach to Automatic BPEL Generation.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	EDOC, BPEL generation, model transformation
17	Arash Hadipour Niktarash	A computational model of how an interaction between the thalamocortical and thalamic reticular neurons transforms the low-frequency oscillations of the globus pallidus.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Globus pallidus, Frequency transformation, Parkinson’s disease, Computational models, Oscillations, Basal ganglia, Thalamus
17	Marcus Alanen, Torbjörn Lundkvist, Ivan Porres	Reconciling diagrams after executing model transformations.	SAC	2006	DBLP DOI BibTeX RDF	XMI[DI], diagram interchange, model transformation, visual languages
17	Jonathan Jiin-Tian Chyou, Bill Yu-Fan Cheng	Improving the Deployability of Existing Windows-Based Client/Server Business Information Systems Using ActiveX.	ICDCIT	2006	DBLP DOI BibTeX RDF	Information System Deployment, Information System Architecture Transformation, Deployability, ActiveX, Information System Architecture
17	Shengxiang Yang	A comparative study of immune system based genetic algorithms in dynamic environments.	GECCO	2006	DBLP DOI BibTeX RDF	immune system based genetic algorithms, random immigrants, transformation, memory, dynamic environments
17	Stephen J. Maybank	The Fisher-Rao Metric for Projective Transformations of the Line.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	canonical volume, Fisher-Rao metric, probability of false detection, projective transformation of the line, asymptotic expansion, Riemannian manifold, heat equation
17	Milan Daniel	Probabilistic Transformations of Belief Functions.	ECSQARU	2005	DBLP DOI BibTeX RDF	Probabilistic transformation, Pignistic probability, Combination consistency, ulb-consistency, Dempster-Shafer theory, Belief function
17	Jinquan Dai, Bo Huang 0002, Long Li, Luddy Harrison	Automatically partitioning packet processing applications for pipelined architectures.	PLDI	2005	DBLP DOI BibTeX RDF	live-set transmission, pipelining transformation, parallel, network processor, program partition, packet processing
17	Qing Yi, Ken Kennedy, Vikram S. Adve	Transforming Complex Loop Nests for Locality.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	complex loop structure, linear algebra kernels, compiler optimization, loop transformation
17	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
17	Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero	USIXML: A Language Supporting Multi-path Development of User Interfaces.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	context-sensitive user interface, modality independence, multi-path development, rendering independence, model-driven architecture, development processes, user interface description language, model-to-model transformation
17	Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi	A programmable editor for developing structured documents based on bidirectional transformations.	PEPM	2004	DBLP DOI BibTeX RDF	bidirectional transformation, functional programming, editor, view updating, document engineering
17	Alberto Pettorossi, Maurizio Proietti	A theory of totally correct logic program transformations.	PEPM	2004	DBLP DOI BibTeX RDF	partial and total correctness, program transformation rules, well-founded orderings, logic programming
17	Susumu Nishimura	Fusion with stacks and accumulating parameters.	PEPM	2004	DBLP DOI BibTeX RDF	accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks
17	Jeffrey G. Gray, Jing Zhang 0003, Suman Roychoudhury, Ira D. Baxter	C-SAW and genAWeave: a two-level aspect weaving toolsuite.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, software maintenance, program transformation, model-driven architecture
17	Oukseh Lee, Kwangkeun Yi	Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs.	ISMM	2004	DBLP DOI BibTeX RDF	program transformation, program analysis, memory management
17	Wei-Yun Yau, Kar-Ann Toh, Tai Pang Chen	Fingerprint Templates Combination.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF	fingerprint template combination, minutiae data transformation, fingerprint recognition
17	Peter Che Bor Lam, Heping Zhang	A Distributive Lattice on the Set of Perfect Matchings of a Plane Bipartite Graph.	Order	2003	DBLP DOI BibTeX RDF	Z-transformation graph, plane bipartite graph, poset, perfect matching, distributive lattice
17	Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts, Lloyd Rutledge	Towards a multimedia formatting vocabulary.	WWW	2003	DBLP DOI BibTeX RDF	Cuypers, formatting objects, hyper-media, multimedia, document transformation
17	Yasuhiko Minamide, Koji Okuma	Verifying CPS transformations in Isabelle/HOL.	MERLIN	2003	DBLP DOI BibTeX RDF	program transformation, theorem proving, correctness proofs
17	Mathupayas Thongmak, Pornsiri Muenchaisri	Design of Rules for Transforming UML Sequence Diagrams into Java code.	APSEC	2002	DBLP DOI BibTeX RDF	UML, Class diagrams, Sequence diagrams, Transformation rules
17	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing
17	Oronzo Altamura, Floriana Esposito, Donato Malerba	Transforming paper documents into XML format with WISDOM++.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Induction of decision trees, Transformation into HTML/XML format, Document image analysis, Layout analysis
17	Yann-Gaël Guéhéneuc, Hervé Albin-Amiot	Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects.	TOOLS (39)	2001	DBLP DOI BibTeX RDF	design patterns, constraints, source code transformation, design defects, OO design
17	Reiko Heckel, Stefan Sauer 0001	Strengthening UML Collaboration Diagrams by State Transformations.	FASE	2001	DBLP DOI BibTeX RDF	UML collaboration diagrams, pre/postconditions, graph process, graph transformation
17	Daniel Cabeza Gras, Manuel V. Hermenegildo	A New Module System for Prolog.	Computational Logic	2000	DBLP DOI BibTeX RDF	modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
17	Elvira Albert, César Ferri, Frank Steiner, Germán Vidal	Improving Functional Logic Programs by Difference-Lists.	ASIAN	2000	DBLP DOI BibTeX RDF	program transformation, compiler optimization, functional logic programming
17	Dingyi Pei, Wenliang Qin	The Correlation of a Boolean Function with Its Variables.	INDOCRYPT	2000	DBLP DOI BibTeX RDF	Boolean function, stream cipher, correlation, Walsh transformation
17	Yun Bai 0001, Vijay Varadharajan	On Formal Languages for Sequences of Authorization Transformations.	SAFECOMP	1999	DBLP DOI BibTeX RDF	Policy Transformation, Formal language, Default logic, Authorization Policies
17	Alexander G. Mamistvalov	n-Dimensional Moment Invariants and Conceptual Mathematical Theory of Recognition n-Dimensional Solids.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	n-ary quantics, algebraic invariants, n-dimensional moments, geometric concepts, n-dimensional solids, metric characteristics, affine classification, affine transformation, moment invariants
17	Ross Paterson	Transforming Lazy Functions Using Comportment Properties.	PLILP	1997	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, automatic program transformation
17	Andrew E. Johnson 0002, Martial Hebert	Surface Registration by Matching Oriented Points.	3DIM	1997	DBLP DOI BibTeX RDF	3D free-form surface registration, oriented point matching, view transformation, descriptive images, object surface, single point bases, data level shape descriptions, multiple sensing, image registration, image representation, image correlation, iterative closest point algorithm
17	Fernand S. Cohen, Jin-Yinn Wang	Part I: Modeling Image Curves Using Invariant 3-D Object Curve Models-A Path to 3-D Recognition and Shape Estimation from Image Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	image curves, invariant 3-D object curve models, 3-D recognition, binocular stereo imaging system, minimum mean-square error estimation technique, Bayesian selection rule, prototype curves, sample curve, image recognition, B-splines, Bayes methods, stereo image processing, affine transformation, splines (mathematics), matching algorithm, shape estimation, control points, image contours
17	Erik H. D'Hollander	Partitioning and Labeling of Loops by Unimodular Transformations.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix
17	Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper	Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	program construction by transformations, formal problem specification, Munich project CIP, computer-aided intuition-guided programming, software engineering, formal specification, software development, transformation rules, wide-spectrum language, transformational programming
16	Jiali Feng	Attribute Computing Network Induced by Linear Transformation and Granular Transformation of Qualitative Criterion.	GrC	2007	DBLP DOI BibTeX RDF
16	Bernd Braßel, Jan Christiansen	Denotation by Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
16	Sandra Alves, Mário Florido	Linearization by Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF