|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13487 occurrences of 5419 keywords
|
|
|
Results
Found 29674 publication records. Showing 29674 according to the selection in the facets
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 |
|
|
|