|
|
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 |
22 | Olivier Danvy |
Back to Direct Style. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
Direct style transformation, continuation-passing style transformation, Scheme, calculus |
22 | Xiao He 0005, Zhiyi Ma, Yan Zhang, Weizhong Shao |
On Model Transformation Reuse. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Leila Ribeiro 0001, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes |
Model Transformation Using Graph Transactions. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Shuai Gong, Jinhua Xiong |
Interaction Mismatch Discovery Based Transformation from BPMN to BPEL. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Vincent Noblet, Christian Heinrich, Fabrice Heitz, Jean-Paul Armspach |
Accurate Inversion of 3-D Transformation Fields. |
IEEE Trans. Image Process. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor |
Proposed Design Notation for Model Transformation. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Pieter Van Gorp, Anne Keller, Dirk Janssens |
Transformation Language Integration Based on Profiles and Higher Order Transformations. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jesús Sánchez Cuadrado, Jesús García Molina |
Approaches for Model Transformation Reuse: Factorization and Composition. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Zhenwei Shang, Honge Ren, Jian Zhang |
A Block Location Scrambling Algorithm of Digital Image Based on Arnold Transformation. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Liu Peng, Bosheng Zhou |
The Research on the Modeling Transformation from GBMS to jBPM. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Md. Sumon Shahriar, Jixue Liu |
Preserving Functional Dependency in XML Data Transformation. |
ADBIS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |
AADL Execution Semantics Transformation for Formal Verification. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Xue-Bo Chen 0001, Ying Zhang |
Affine Transformation of Multiple Mobile Robot Formation by Generalized Ant Colony Optimization. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Weizhu Chen, Jun Yan 0001, Benyu Zhang, Zheng Chen 0001, Qiang Yang 0001 |
Document Transformation for Multi-label Feature Selection in Text Categorization. |
ICDM |
2007 |
DBLP DOI BibTeX RDF |
|
22 | J. V. Sumanth, David R. Swanson, Hong Jiang 0001 |
A Novel Force Matrix Transformation with Optimal Load-Balance for 3-Body Potential Based Parallel Molecular Dynamics Using Atom-Decomposition in a Heterogeneous Cluster Environment. |
HiPC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Douglas R. Smith |
Requirement enforcement by transformation automata. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Masahiro Hayashi, Takeo Abe, I. Nakajima |
Transformation from availability expression to failure frequency expression. |
IEEE Trans. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jesús Sánchez Cuadrado, Jesús García Molina |
A Plugin-Based Language to Experiment with Model Transformation. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Conflict Detection for Graph Transformation with Negative Application Conditions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Shunsuke Koshita, Masahide Abe, Masayuki Kawamata |
Gramian-Preserving Frequency Transformation for State-Space Digital Filters. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jesús Sánchez Cuadrado, Jesús García Molina, Marcos Menárguez Tortosa |
RubyTL: A Practical, Extensible Transformation Language. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Burton Voorhees |
Discrete Baker Transformation for Binary Valued Cylindrical Cellular Automata. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wei Zhang 0004, Hong Mei 0001, Haiyan Zhao, Jie Yang 0014 |
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Cleenewerck, Theo D'Hondt |
Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
program transformations, maintainability, evolvability, rewrite rules |
22 | Shigeru Chiba |
Program Transformation with Reflection and Aspect-Oriented Programming. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu |
A Metamodel Based Model Transformation Approach. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jon Oldevik |
Transformation Composition Modelling Framework. |
DAIS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel |
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yasushi Makihara, Yoshiaki Shirai, Nobutaka Shimada |
Online Learning of Color Transformation for Interactive Object Recognition under Various Lighting Conditions. |
ICPR (3) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yuliang He, Jie Tian 0001 |
Transformation-Variants Estimation Using Similarity Relative Histogram Grouping Model. |
SINOBIOMETRICS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mark Minas |
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Siew Teck Kiong, Wang Yin Chai |
Applying UML to a New Model for Transformation of Spatial Data from Relational Database to Object-Oriented Database. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tadeusz Pankowski |
Transformation of XML Data Using an Unranked Tree Transducer. |
EC-Web |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Lionel Villard, Nabil Layaïda |
An incremental XSLT transformation processor for XML document manipulation. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
incremental transformations, XML, XSLT, authoring tools |
22 | Olivier Danvy, Lasse R. Nielsen |
A First-Order One-Pass CPS Transformation. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Motoshi Saeki |
Role of Model Transformation in Method Engineering. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Robert E. Strom, Joshua S. Auerbach |
The Optimistic Readers Transformation. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Holger Wache, Heiner Stuckenschmidt |
Practical Context Transformation for Information System Interoperability. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Berthold Hoffmann |
Shapely Hierarchical Graph Transformation. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Guang Gong, Amr M. Youssef |
On Welch-Gong Transformation Sequence Generators. |
Selected Areas in Cryptography |
2000 |
DBLP DOI BibTeX RDF |
pseudo-random sequence (number) generator, auto/cross correlation, linear span, r-resilient property, Boolean function, Stream cipher, non-linearity |
22 | M. Carmen Hernando, Michael E. Houle, Ferran Hurtado |
On Local Transformation of Polygons with Visibility Properties. |
COCOON |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee |
Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
reengineering, formal language, object-oriented language, SDL, CHILL |
22 | Nicoletta De Francesco, Antonella Santone |
A Transformation System for Concurrent Processes. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Julia L. Lawall, Olivier Danvy |
Separating Stages in the Continuation-Passing Style Transformation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
22 | Bernd Krieg-Brückner |
Algebraic Formalisation of Program Development by Transformation. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Hartmut Ehrig, Ulrike Prange |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jan-Hendrik Oetjens, Joachim Gerlach, Wolfgang Rosenstiel |
Flexible specification and application of rule-based transformations in an automotive design flow. |
DATE Designers' Forum |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Te-Wen Hsieh, Huang-Cheng Kuo, Jen-Peng Huang |
Filtering Bio-sequence Based on Sequence Descriptor. |
BioDM |
2006 |
DBLP DOI BibTeX RDF |
Bio-sequence, Sequence Descriptor, Similarity Searching, KNN |
22 | Bernd Krieg-Brückner |
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Xavier Dolques, Marianne Huchard, Clémentine Nebut, Philippe Reitz |
Learning Transformation Rules from Transformation Examples: An Approach Based on Relational Concept Analysis. |
EDOCW |
2010 |
DBLP DOI BibTeX RDF |
Model Transformation, Model Driven Engineering, Formal Concept Analysis |
21 | Bin Shao, Du Li, Ning Gu |
A sequence transformation algorithm for supporting cooperative work on mobile devices. |
CSCW |
2010 |
DBLP DOI BibTeX RDF |
mobile computing, data consistency, operational transformation, collaborative applications, group editing |
21 | Martin Jetter, Gerhard Satzger, Andreas Neus |
Technological Innovation and Its Impact on Business Model, Organization and Corporate Culture - IBM's Transformation into a Globally Integrated, Service-Oriented Enterprise. |
Bus. Inf. Syst. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Corporate culture, Transformation, Innovation, Business model, Organization, Change management, Information and communication technology, IBM |
21 | Martin Jetter, Gerhard Satzger, Andreas Neus |
Technologische Innovation und die Auswirkung auf Geschäftsmodell, Organisation und Unternehmenskultur - Die Transformation der IBM zum global integrierten, dienstleistungsorientierten Unternehmen. |
Wirtschaftsinf. |
2009 |
DBLP DOI BibTeX RDF |
corporate culture, transformation, innovation, business model, organization, change management, information and communication technology, IBM |
21 | Andreas Lundell, Joakim Westerlund, Tapio Westerlund |
Some transformation techniques with applications in global optimization. |
J. Glob. Optim. |
2009 |
DBLP DOI BibTeX RDF |
Transformation and convexification techniques, Signomial functions, Mixed integer non-linear programming, Global optimization |
21 | John Brant, Don Roberts |
The SmaCC transformation engine: how to convert your entire code base into a different programming language. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
code modernization, program transformation, refactoring, migration |
21 | Yu Sun 0002 |
Supporting model evolution through demonstration-based model transformation. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
MT-scribe, model transformation, demonstration |
21 | Anne Fleur van Veenstra, Arre Zuurmond |
Opening the Black Box: Exploring the Effect of Transformation on Online Service Delivery in Local Governments. |
EGOV |
2009 |
DBLP DOI BibTeX RDF |
Transformational Government, Organizational transformation, Quality of service delivery, e-Government |
21 | Dhrupad Mathur |
Business Process Transformation Grid: An Empirical Model for Strategic Decision Making Towards IT Enabled Transformations. |
BIS (Workshops) |
2009 |
DBLP DOI BibTeX RDF |
IT-enablement, Grid, Transformation, Process, e-Business |
21 | Mohammad Ali Ghodrat, Tony Givargis |
Efficient dynamic voltage/frequency scaling through algorithmic loop transformation. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
algorithmic loop transformation, compiler optimization for low power, dynamic voltage/frequency scaling |
21 | Mark H. Linehan, Eric Putrycz |
Introduction to "Rule Transformation and Extraction" Track. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
rule transformation, rules, business rules, rule extraction |
21 | Chengen Wang, Lida Xu |
Parameter mapping and data transformation for engineering application integration. |
Inf. Syst. Frontiers |
2008 |
DBLP DOI BibTeX RDF |
Engineering application integration, Parameter mapping, Data transformation, Multidisciplinary design optimization |
21 | Changjun Hu, Yewei Shao, Jue Wang 0013, Jianjiang Li |
Automatic Transformation for Overlapping Communication and Computation. |
NPC |
2008 |
DBLP DOI BibTeX RDF |
Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation |
21 | Vahid Rafe, Adel Torkaman Rahmani |
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
Verification, Workflow, Graph Transformation, Activity Diagram, Dynamic Semantics |
21 | Ivan Kurtev |
Application of Reflection in Model Transformation Languages. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
model transformation languages, MISTRAL, reflection, MDE |
21 | Tao Li 0001, Chris H. Q. Ding, Yi Zhang 0005, Bo Shao |
Knowledge transformation from word space to document space. |
SIGIR |
2008 |
DBLP DOI BibTeX RDF |
clustering, knowledge transformation |
21 | Jiashen Tian, Jixue Liu, Weidong Pan, Millist W. Vincent, Chengfei Liu |
Performance Analysis and Improvement for Transformation Operators in XML Data Integration. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
Performance Analysis and Improvement, XML, Data Integration, Transformation, DTD |
21 | Pablo César, Dick C. A. Bulterman, Jack Jansen 0001, Maria da Graça Campos Pimentel, Simone Diniz Junqueira Barbosa |
Multimedia content transformation: fragmentation, enrichment, and adaptation. |
ACM Symposium on Document Engineering |
2008 |
DBLP DOI BibTeX RDF |
content transformation, structured multimedia, content adaptation, multimedia content |
21 | Shaharuddin Salleh, Stephan Olariu, Albert Y. Zomaya, Kiew Leh Yieng, Nur Arina B. Aziz |
Single-row mapping and transformation of connected graphs. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
Demand-supply problem and linear transformation, Connected graph, Single-row routing |
21 | Rui Li 0018, Du Li |
A New Operational Transformation Framework for Real-Time Group Editors. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
groupware, operational transformation, group editors, Consistency control |
21 | Alcino Cunha, Joost Visser 0001 |
Transformation of structure-shy programs: applied to XPath queries and strategic functions. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization |
21 | Konstantinos Raftopoulos, Stefanos D. Kollias |
The Global-Local Transformation for Invariant Shape Representation. |
ISVC (2) |
2007 |
DBLP DOI BibTeX RDF |
Global-Local transformation, Shape representation, Shape recognition |
21 | Olegas Vasilecas, Diana Bugaite |
An algorithm for the automatic transformation of ontology axioms into a rule model. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
ontology, conceptual model, rule, axiom, automatic transformation |
21 | Xianchao Zhang 0001, Yu Zong, He Jiang 0001, Xinyue Liu |
Data Set Homeomorphism Transformation Based Meta-clustering. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
Data Set Homeomorphism Transformation, Clustering Analysis, Meta-Clustering |
21 | Marc Nanard, Jocelyne Nanard, Peter R. King, Ludovic Gaillard |
Genre driven multimedia document production by means of incremental transformation. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
series, multimedia, transformation, genre, meta-structure |
21 | Catherine Pugin, Rolf Ingold |
Combination of transformation and schema languages described by a complete formal semantics. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
static type checking, XML, integration, transformation, schema |
21 | Christian Panse, Mike Sips, Daniel A. Keim, Stephen C. North |
Visualization of Geo-spatial Point Sets via Global Shape Transformation and Local Pixel Placement. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Geo-spatial Data, Pixel Placement, Shape Transformation, Cartogram |
21 | Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez |
ATL: a QVT-like transformation language. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
model transformation, model-driven engineering, QVT, ATL |
21 | Yasunori Yanai, Minoru Okada |
A study on a geometry transformation method for a geometry and scene modeler by a verbal interface. |
GRAPHITE |
2006 |
DBLP DOI BibTeX RDF |
geometry transformation, modeler, animation, computer graphics, natural language |
21 | Mohammed Ketel, Abdollah Homaifar |
Privacy-preserving mining by rotational data transformation. |
ACM Southeast Regional Conference (1) |
2005 |
DBLP DOI BibTeX RDF |
data mining, privacy, data transformation |
21 | Rui Li 0018, Du Li |
A landmark-based transformation approach to concurrency control in group editors. |
GROUP |
2005 |
DBLP DOI BibTeX RDF |
groupware, concurrency control, data consistency, operational transformation, group editor |
21 | Juan de Lara, Gabriele Taentzer |
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation |
21 | Shaun A. Forth, Mohamed Tadjouddine, John D. Pryce, John K. Reid |
Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding. |
ACM Trans. Math. Softw. |
2004 |
DBLP DOI BibTeX RDF |
vertex elimination, Jacobian, source transformation |
21 | Jing Zhang 0003 |
Supporting software evolution through model-driven program transformation. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
model-driven program transformation, software evolution, model-driven software development |
21 | André Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
flags, testability transformation, empirical evaluation, evolutionary testing |
21 | William Kwok-Wai Cheung |
e-Transformation Technologies: Case Studies and the Road Ahead - A Value Chain Perspective. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
e-Transformation, information extraction, information integration, value chain, Web intelligence |
21 | Tyng-Ruey Chuang, Jan-Li Lin |
On modular transformation of structural content. |
ACM Symposium on Document Engineering |
2004 |
DBLP DOI BibTeX RDF |
bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules |
21 | Sheena R. Judson |
Pattern-based model transformation. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
query/views/transformations (QVT), UML, design patterns, model driven architecture (MDA), model transformation, model evolution |
21 | Mario Michele Gala, Elisa Quintarelli, Letizia Tanca |
Graph Transformation for Merging User Navigation Histories. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
User Navigation History, Web Mining, Graph Transformation, Semistructured Data |
21 | Zhanhai Qin, Chung-Kuan Cheng |
Realizable parasitic reduction using generalized Y-Delta transformation. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
Y-?, parasitic reduction, transformation, model order reduction |
21 | Wael M. Badawy, Magdy A. Bayoumi |
A Multiplication-Free Algorithm and A Parallel Architecture for Affine Transformation. |
J. VLSI Signal Process. |
2002 |
DBLP DOI BibTeX RDF |
VLSI, low power, texture mapping, MPEG-4, affine transformation, video object |
21 | Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer |
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML, use cases, requirements specification, graph transformation, unified process |
21 | Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild |
Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation |
21 | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu 0005, Sebastian Danicic, Joachim Wegener |
VADA: A Transformation-Based System for Variable Dependence Analysis. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
Variable Dependence Analysis, Program Transformation, Program Slicing |
21 | Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita |
Transformation rules for designing CNOT-based quantum circuits. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
CNOT gate, local transformation rules, quantum circuit |
21 | Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga |
Experimenting with the circus language for XML modeling and transformation. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
typed document transformation, XML, programming language, XSLT, document model, circus |
21 | Michael Leuschel |
Homeomorphic Embedding for Online Termination of Symbolic Methods. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders |
21 | Toru Wakahara, Yoshimasa Kimura, Akira Tomono |
Affine-Invariant Recognition of Gray-Scale Characters Using Global Affine Transformation Correlation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
global affine transformation, noise-tolerant and affine-invariant image matching, successive iteration method, normalized cross-correlation, Gray-scale character recognition |
21 | Liyin Xue, Kang Zhang, Chengzheng Sun |
An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors |
21 | Thomas Rauber, Gudula Rünger |
A Transformation Approach to Derive Efficient Parallel Implementations. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
task and data parallelism, hierarchical module structure, data distribution types, MPI, scientific computing, coordination language, Transformation system, message-passing program |
Displaying result #401 - #500 of 29674 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|