Search results for "transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Berthold Hoffmann	Abstraction and Control for Shapely Nested Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
16	Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood	Transformation: The Missing Link of MDA.	ICGT	2002	DBLP DOI BibTeX RDF
16	Annegret Habel, Detlef Plump	Relabelling in Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
16	John L. Pfaltz	Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery.	ICGT	2002	DBLP DOI BibTeX RDF
16	Silvija Seres, J. Michael Spivey	Higher-Order Transformation of Logic Programs.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
16	Wilfried Sieg, Stanley S. Wainer	Program Transformation and Proof Transformation.	CSL	1993	DBLP DOI BibTeX RDF
16		The Adaptability Study of Bursa Model.	IFITA (3)	2009	DBLP DOI BibTeX RDF	Transformation Parameter, Model, Coordination Transformation
16	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
16	Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann	Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework.	ASE	2009	DBLP DOI BibTeX RDF	EMF transformation, visual environment generation, simulation, graph transformation, EMF
16	Martin P. Ward	The FermaT Maintenance Environment Tool Demonstration.	SCAM	2009	DBLP DOI BibTeX RDF	formal methods, reverse engineering, Program transformation, analysis, migration, transformation system
16	A. Steven Klusener, Chris Verhoef	9210: The Zip Code of Another IT-Soap.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	software pasteurization, 9210-problem, bank account number portability, international bank account number (IBAN), IT-portfolio analysis, automated program transformation, IT-portfolio transformation, IT-portfolio management, software cost estimation
16	Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko Kambayashi	Translating Content-Based Authorizations for XML Documents.	WISE	2003	DBLP DOI BibTeX RDF	Authorizations, Role-based Access Control, XML Documents, Schema Transformation, Document Transformation
16	Hiroshi Saito, Alex Kondratyev, Takashi Nanya	Design of Asynchronous Controllers with Delay Insensitive Interface.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	delay insensitive interface, gate-level transformation, behavioral transformation, asynchronous circuits, hazards
16	Elmor L. Peterson	The Fundamental Relations between Geometric Programming Duality, Parametric Programming Duality, and Ordinary Lagrangian Duality.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	ordinary programming, post-optimality analysis, conjugate transformation, Legendre transformation, dual cones, orthogonal complementary subspaces, recession directions, separable optimization, sub-optimization, optimization, convex optimization, Lagrange multipliers, geometric programming, orthogonal projection, duality theory, parametric programming
16	Weiguang Guan, Songde Ma	A List-Processing Approach to Compute Voronoi Diagrams and the Euclidean Distance Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Voronoi transformation, Voronoi diagram, coherence, distance transformation, Euclidean distance
16	Jos C. M. Baeten, Jan A. Bergstra	Real Space Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra
16	W. Prochazka	Conformal mapping of the unit circle or of the upper half plane onto a polygon.	Computing	1983	DBLP DOI BibTeX RDF	unit-circle, upper half plane, Schwarz-Christoffel formula, Schwarz-Christoffel transformation, conformal transformation, polygonal boundaries, parameter problem, function theory, FORTRAN IV-package, polygon, numerical methods, graphic representation, Conformal mapping
16	Biplav Srivastava, Pietro Mazzoleni	An APQC-PCF based framework to compare service offerings in business transformation projects.	SAC	2010	DBLP DOI BibTeX RDF
16	Guergana Mollova, Wolfgang F. G. Mecklenbräuker	A Design Method for 3-D FIR Cone-Shaped Filters Based on the McClellan Transformation.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
16	Rahmat Budiarto, Pradeep Isawasan, Maulana Abdul Aziz	Transformation of Spatial Data Format for Interoperability between GIS Applications.	CGIV	2009	DBLP DOI BibTeX RDF
16	Diego Bernini, Daniele Toscani, Marco Frigerio	A software architecture for the deployment of executable transformation models.	IWCMC	2009	DBLP DOI BibTeX RDF	adaptivity, software architecture, deployment
16	Zarrin Langari, Richard J. Trefler	Application of Graph Transformation in Verification of Dynamic Systems.	IFM	2009	DBLP DOI BibTeX RDF
16	Yanjun Yan, Lisa Ann Osadciw, Glen Benson, Eric White	Inverse data transformation for change detection in wind turbine diagnostics.	CCECE	2009	DBLP DOI BibTeX RDF
16	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	A compositional approach to bidirectional model transformation.	ICSE Companion	2009	DBLP DOI BibTeX RDF
16	Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, Sabine Van Huffel	MINLIP: Efficient Learning of Transformation Models.	ICANN (1)	2009	DBLP DOI BibTeX RDF	ranking models, Support vector machines, ordinal regression
16	Qiong Huang 0001, Duncan S. Wong, Jin Li 0002, Yiming Zhao	Generic Transformation from Weakly to Strongly Unforgeable Signatures.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	weak unforgeability, signature, one-time signature, strong unforgeability
16	Xuan Dai Pham, Jung Uk Cho, Jae Wook Jeon	Background compensation using Hough transformation.	ICRA	2008	DBLP DOI BibTeX RDF
16	Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick	Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains.	SLE	2008	DBLP DOI BibTeX RDF
16	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	Analysing Graph Transformation Rules through OCL.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
16	Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs	Model Transformation Languages and Their Implementation by Bootstrapping Method.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
16	Lin Bai, Jun Wei	A Flexible Transformation Scheme between the 'OR' of BPMN and 'Link' of BPEL.	APSCC	2008	DBLP DOI BibTeX RDF
16	José Ignacio Panach, Sergio España, Ana María Moreno 0001, Oscar Pastor 0001	Dealing with Usability in Model Transformation Technologies.	ER	2008	DBLP DOI BibTeX RDF
16	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.	ICST	2008	DBLP DOI BibTeX RDF	cartier, model tranformation, testing, alloy
16	Mostafa Elhemali, Leo Giakoumakis	Unit-testing query transformation rules.	DBTest	2008	DBLP DOI BibTeX RDF	verification, testing, query optimization
16	Sascha Hunold, Matthias Korch, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger	Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing.	COMPSAC	2008	DBLP DOI BibTeX RDF	refactoring, reengineering, legacy software
16	Chang-Ai Sun	A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation
16	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
16	Yue Jiang 0001, Bojan Cukic, Tim Menzies	Can data transformation help in the detection of fault-prone modules?	DEFECTS	2008	DBLP DOI BibTeX RDF
16	Junzhou Huang, Xiaolei Huang 0001, Dimitris N. Metaxas	Simultaneous image transformation and sparse representation recovery.	CVPR	2008	DBLP DOI BibTeX RDF
16	Shunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata	Gramian-preserving frequency transformation for linear discrete-time systems using normalized lattice structure.	ISCAS	2008	DBLP DOI BibTeX RDF
16	Guoping Wu, Min-si Ao, Shi Cheng, Hui Lei 0004	Slant Correction of Vehicle License Plate Integrates Principal Component Analysis Based on Color-Pair Feature Pixels and Radon Transformation.	CSSE (1)	2008	DBLP DOI BibTeX RDF
16	Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig	Flexible visualization of automatic simulation based on structured graph transformation.	VL/HCC	2008	DBLP DOI BibTeX RDF
16	Juan de Lara, Esther Guerra	Pattern-Based Model-to-Model Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
16	Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró	A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF	incremental graph pattern matching, RETE, benchmarking
16	Hans-Jörg Kreowski, Sabine Kuske	Graph Multiset Transformation as a Framework for Massively Parallel Computation.	ICGT	2008	DBLP DOI BibTeX RDF
16	Cícero Nogueira dos Santos, Ruy Luiz Milidiú, Raúl P. Rentería	Portuguese Part-of-Speech Tagging Using Entropy Guided Transformation Learning.	PROPOR	2008	DBLP DOI BibTeX RDF
16	Jens von Pilgrim, Bert Vanhooff, Immo Schulz-Gerlach, Yolande Berbers	Constructing and Visualizing Transformation Chains.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
16	K.-S. Lee	Statistical Approach for Voice Personality Transformation.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
16	Cameron Maxwell, Tim O'Neill, John Leaney	Formal Architecture Transformation Using Heuristics.	ECBS	2007	DBLP DOI BibTeX RDF
16	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde	Shaped Generic Graph Transformation.	AGTIVE	2007	DBLP DOI BibTeX RDF
16	Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler 0001, Gabriele Taentzer	The EMF Model Transformation Framework.	AGTIVE	2007	DBLP DOI BibTeX RDF
16	Junyeong Yang, Hyeran Byun	Illumination Compensation Algorithm Using Eigenspaces Transformation for Facial Images.	MIRAGE	2007	DBLP DOI BibTeX RDF	face modeling, illumination modeling, illumination compensation
16	Sjoerd Meijer, Bart Kienhuis, Alexandru Turjan, Erwin A. de Kock	Interactive presentation: A process splitting transformation for Kahn process networks.	DATE	2007	DBLP DOI BibTeX RDF
16	K. Sreenivasa Rao, Rabul Hussain Laskar, Shashidhar G. Koolagudi	Voice Transformation by Mapping the Features at Syllable Level.	PReMI	2007	DBLP DOI BibTeX RDF
16	Jason J. Jung, Antoine Zimmermann, Jérôme Euzenat	Concept-Based Query Transformation Based on Semantic Centrality in Semantic Peer-to-Peer Environment.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
16	Fumiko Satoh, Yumi Yamaguchi	Generic Security Policy Transformation Framework for WS-Security.	ICWS	2007	DBLP DOI BibTeX RDF
16	Dung Xuan Thi Le, Stéphane Bressan, David Taniar, J. Wenny Rahayu	Semantic XPath Query Transformation: Opportunities and Performance.	DASFAA	2007	DBLP DOI BibTeX RDF	Semantic XML Query Optimization, XML, Query Processing, XPath
16	Matthieu Martel	Semantics-Based Transformation of Arithmetic Expressions.	SAS	2007	DBLP DOI BibTeX RDF
16	Michal Sofka, Gehua Yang, Charles V. Stewart	Simultaneous Covariance Driven Correspondence (CDC) and Transformation Estimation in the Expectation Maximization Framework.	CVPR	2007	DBLP DOI BibTeX RDF
16	Santiago Meliá, Jaime Gómez, José Luís Serrano	WebTE: MDA Transformation Engine for Web Applications.	ICWE	2007	DBLP DOI BibTeX RDF
16	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	UML2Alloy: A Challenging Model Transformation.	MoDELS	2007	DBLP DOI BibTeX RDF
16	Chunying Zhao, Jun Kong, Kang Zhang 0001	Design Pattern Evolution and Verification Using Graph Transformation.	HICSS	2007	DBLP DOI BibTeX RDF
16	Hans-Joachim Mucha, Hans-Georg Bartel, Jens Dolata	Effects of Data Transformation on Cluster Analysis of Archaeometric Data.	GfKl	2007	DBLP DOI BibTeX RDF
16	Ulrike Ranger, Thorsten Hermes	Ensuring Consistency Within Distributed Graph Transformation Systems.	FASE	2007	DBLP DOI BibTeX RDF
16	Hong Hu 0001, Zhongzhi Shi	Granular Computing in the Information Transformation of Pattern Recognition.	GrC	2007	DBLP DOI BibTeX RDF	GrC, information Trans., cognition
16	François Degrave, Wim Vanhoof	Towards a Normal Form for Mercury Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
16	Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo	A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
16	Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, Jarek Nieplocha, P. Sadayappan	Layout transformation support for the disk resident arrays framework.	J. Supercomput.	2006	DBLP DOI BibTeX RDF
16	Bert Vanhooff, Stefan Van Baelen, Aram Hovsepyan, Wouter Joosen, Yolande Berbers	Towards a Transformation Chain Modeling Language.	SAMOS	2006	DBLP DOI BibTeX RDF
16	David Sun, Chengzheng Sun	Operation context and context-based operational transformation.	CSCW	2006	DBLP DOI BibTeX RDF	OT, context-based OT, operation context, distributed applications, consistency maintenance, undo, group editors
16	Alcino Cunha, José Nuno Oliveira, Joost Visser 0001	Type-Safe Two-Level Data Transformation.	FM	2006	DBLP DOI BibTeX RDF
16	Thomas Coogan, Alistair Sutherland	Transformation Invariance in Hand Shape Recognition.	ICPR (3)	2006	DBLP DOI BibTeX RDF
16	Hongwei Ding, Changrui Ren, Wei Wang 0024, Jin Dong	Applying simulation in a supply chain transformation case.	WSC	2006	DBLP DOI BibTeX RDF
16	Nazli Guney, Aysin Ertüzün	Undoing the Affine Transformation Using Blind Source Separation.	ICA	2006	DBLP DOI BibTeX RDF
16	Herzi Khaled, Aïcha-Nabila Benharkat, Youssef Amghar	Refinement of Correspondences in EXSMAL for XML Document Transformation.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
16	Eike Kiltz	On the Limitations of the Spread of an IBE-to-PKE Transformation.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF
16	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
16	Shunsuke Koshita, Masahide Abe, Masayuki Kawamata	Gramian-preserving frequency transformation for linear continuous-time state-space systems.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Yuki Chiba, Takahito Aoto 0001	RAPT: A Program Transformation System Based on Term Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
16	Charles Sao, Peter W. Lehn	A Block Diagram Approach to Reference Frame Transformation of Converter Dynamic Models.	CCECE	2006	DBLP DOI BibTeX RDF
16	Ginés Moreno	Building a Fuzzy Transformation System.	SOFSEM	2006	DBLP DOI BibTeX RDF
16	Bin Yao, William Mielke, Steve Kennedy, Rick Buskens	C Macro Handling in Automated Source Code Transformation Systems.	ICSM	2006	DBLP DOI BibTeX RDF
16	Reiko Heckel	Introductory Tutorial on Foundations and Applications of Graph Transformation.	ICGT	2006	DBLP DOI BibTeX RDF
16	Rainer Hauser, Michael Friess, Jochen Malte Küster, Jussi Vanhatalo	Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.	EDOC	2006	DBLP DOI BibTeX RDF
16	Michael Pitz, Hermann Ney	Vocal Tract Normalization Equals Linear Transformation in Cepstral Space.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
16	Xiangye Xiao, Qiong Luo 0001, Dan Hong, Hongbo Fu 0001	Slicing*-tree based web page transformation for small displays.	CIKM	2005	DBLP DOI BibTeX RDF	VIPS algorithm, mall displays, slicing tree, web page adaptation, proxy, web browsing, thumbnails
16	Dorothea Blostein	Graph Transformation in Document Image Analysis: Approaches and Challenges.	GbRPR	2005	DBLP DOI BibTeX RDF
16	Antonino Sabetta, Dorina C. Petriu, Vincenzo Grassi, Raffaela Mirandola	Abstraction-Raising Transformation for Generating Analysis Models.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
16	Byunggu Yu	Adaptive Query Processing in Point-Transformation Schemes.	DEXA	2005	DBLP DOI BibTeX RDF
16	Artur Boronat, José A. Carsí, Isidro Ramos	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.	CSMR	2005	DBLP DOI BibTeX RDF
16	Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg	Main Concepts of Networks of Transformation Units with Interlinking Semantics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
16	Gregor Engels, Reiko Heckel, Alexey Cherchago	Flexible Interconnection of Graph Transformation Modules.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
16	EunSang Bak	A New Multidimensional Feature Transformation for Linear Classifiers and Its Applications.	MLDM	2005	DBLP DOI BibTeX RDF
16	Perakath C. Benjamin, Mike Graul, Michael K. Painter, Frank Boydstun	Toward effective depot transformation: leveraging simulation to enhance transition planning.	WSC	2005	DBLP DOI BibTeX RDF
16	Seung-Sun Hong, Fiona Wong, Shyhtsun Felix Wu, Bjorn Lilja, Tony Y. Yohansson, Henric Johnson, Ame Nelsson	TCPtransform: Property-Oriented TCP Traffic Transformation.	DIMVA	2005	DBLP DOI BibTeX RDF
16	Markus Schordan, Daniel J. Quinlan	Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar.	SCAM	2005	DBLP DOI BibTeX RDF
16	Sergio Antoy, Michael Hanus	Declarative Programming with Function Patterns.	LOPSTR	2005	DBLP DOI BibTeX RDF
16	Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro	A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
16	Bruce Spencer, Sandy Liu	Inferring Data Transformation Rules to Integrate Semantic Web Services.	ISWC	2004	DBLP DOI BibTeX RDF
16	Fethi Belkhouche, Uvais Qidwai, Ibrahim Gokcen, Dale Joachim	Binary Image Transformation Using Two-Dimensional Chaotic Maps.	ICPR (4)	2004	DBLP DOI BibTeX RDF