|
|
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 |
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 |
Displaying result #301 - #400 of 29674 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|