|
|
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 | Theo E. Schouten, Egon L. van den Broek |
Fast Exact Euclidean Distance (FEED) Transformation. |
ICPR (3) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey G. Gray, Jing Zhang 0003, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty |
Model-Driven Program Transformation of a Large Avionics Framework. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Xuexian Han, Guowei Zu, Wataru Ohyama, Tetsushi Wakabayashi, Fumitaka Kimura |
Accuracy Improvement of Automatic Text Classification Based on Feature Transformation and Multi-classifier Combination. |
AWCC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sven Johann, Alexander Egyed |
Instant and Incremental Transformation of Models. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hyung-Soo Lee, Daijin Kim 0001 |
Pose Invariant Face Recognition Using Linear Pose Transformation in Feature Space. |
ECCV Workshop on HCI |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Francesc Rosselló, Gabriel Valiente |
Analysis of Metabolic Pathways by Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Longbing Cao, Dan Luo 0001, Chao Luo, Li Liu 0033 |
Ontology Transformation in Multiple Domains. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Peter McBrien, Alexandra Poulovassilis |
Data Integration by Bi-Directional Schema Transformation Rules. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Siew Teck Kiong, Wang Yin Chai |
An Object-Oriented Approach for Transformation of Spatial Data from Relational Database to Object-Oriented Database. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
|
16 | S. Alireza Aghili, Divyakant Agrawal, Amr El Abbadi |
Filtration of String Proximity Search via Transformation. |
BIBE |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Susumu Nishimura |
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Raimund Kirner, Peter P. Puschner |
Transformation of Meta-Information by Abstract Co-interpretation. |
SCOPES |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jun Kong, Kang Zhang 0001, Jing Dong 0005, Guang-Lei Song |
A Graph Grammar Approach to Software Architecture Verification and Transformation. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sanghun Lee, Hirotomo Aso |
Loop-Synthesizing Transformation for Maintaining Parallelism and Enhancing Locality. |
ICPP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Alexeyevich Bukatov |
Building the Program Parallelization System Based on a Very Wide Spectrum Program Transformation System. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser |
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Tzu-Han Kao, Sheng-Po Shen, Shyan-Ming Yuan, Po-Wen Cheng |
An XML-Based Context-Aware Transformation Framework for Mobile Execution Environments. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jianchang Xiao, Qing Wang, Min Li, Aoying Zhou |
FIXT: A Flexible Index for XML Transformation. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Keith Duddy, Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel |
Model Transformation: A declarative, reusable patterns approach. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon |
Distributed Programming for Dummies: A Shifting Transformation Technique. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Martin Große-Rhode |
Compositional Comparison of Formal Software Specifications Using Transformation Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Formal specification, Integration, Consistency, Compositionality |
16 | Ying Zou 0001, Kostas Kontogiannis |
Quality Driven Transformation Compositions for Object Oriented Migration. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation Systems and Nondeclarative Properties. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
16 | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Yuan Yan Tang, X. C. Feng, Xinge You, Z. W. Liao, Lu Sun |
A Novel Method for Harmonic Geometric Transformation Model Based on Wavelet Collocation. |
ICPR (1) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | François Bry, Sebastian Schaffert |
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Pascual Julián Iranzo |
On the Correctness of the Factoring Transformation. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski |
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
16 | K. S. Yeung, S. C. Chan 0001 |
Design and implementation of multiplier-less tunable 2-D FIR filters using McClellan transformation. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Vo Ngoc Anh, Alistair Moffat |
Impact transformation: effective and efficient web retrieval. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
dynamic pruning, web searching, index compression |
16 | Min C. Shin, Kyong I. Chang, Leonid V. Tsap |
Does Colorspace Transformation Make Any Difference on Skin Detection? |
WACV |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jon Oldevik, Arnor Solberg, Brian Elvesæter, Arne-Jørgen Berre |
Framework for Model Transformation and Code Generation. |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Reiko Heckel, Tom Mens, Michel Wermelinger |
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel |
Transformation of UML Specification to XTG. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
Equivalent Transformation by Safe Extension of Data Structures. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Andrew J. Malton, Kevin A. Schneider, James R. Cordy, Thomas R. Dean, Darren Cousineau, Jason Reynolds |
Processing Software Source Text in Automated Design Recovery and Transformation. |
IWPC |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Annegret Habel, Detlef Plump |
Computational Completeness of Programming Languages Based on Graph Transformation. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001 |
A Static Analysis Technique for Graph Transformation Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Eelco Visser |
Stratego: A Language for Program Transformation Based on Rewriting Strategies. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Dongwon Lee 0001, Wesley W. Chu |
Constraints-Preserving Transformation from XML Document Type Definition to Relational Schema. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Lianwen Jin, Jiancheng Huang, Junxun Yin, Qianhua He |
Deformation Transformation for Handwritten Chinese Character Shape Correction. |
ICMI |
2000 |
DBLP DOI BibTeX RDF |
|
16 | James R. Curran, Raymond K. Wong 0001 |
Formalization of Transformation-Based Learning. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
Machine Learning, NLP, Part of Speech Tagging |
16 | Eimei Oyama, Taro Maeda, Susumu Tachi |
Coordinate Transformation Learning of Hand Position Feedback Controller Based on Disturbance Noise and Feedback Error Signal. |
IJCNN (5) |
2000 |
DBLP DOI BibTeX RDF |
sensory-motor learning, in verse kinematics, feedback error learning, neural network, visual feedback |
16 | Berthold Hoffmann |
From Graph Transformation to Rule-Based Programming with Diagrams. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ki-Wook Kim, Sung-Mo Kang, TingTing Hwang, C. L. Liu 0001 |
Logic Transformation for Low Power Synthesis. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | S. Jeromy Carrière, Steven G. Woods, Rick Kazman |
Software Architectural Transformation. |
WCRE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin W. Wah, Xiao Su |
Streaming Video with Transformation-Based Error Concealment and Reconstruction. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
network and resource management, Multimedia on the Internet |
16 | Shreekanth Mandayam, Ravi Prakash Ramachandran |
An invariance transformation technique for interpreting images obtained from unknown operational conditions. |
ISCAS (4) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Huy T. Nguyen, Abhijit Chatterjee, Rabindra K. Roy |
Activity Measures for Fast Relative Power Estimation in Numerical Transformation for Low Power DSP Synthesis. |
J. VLSI Signal Process. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements and Modules for Typed Graph Transformation Systems. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Makoto Murata |
Data Model for Document Transformation and Assembly. |
PODDP |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Martin Große-Rhode |
Algebra Transformation Systems and their Composition. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Julian Richardson |
Abstract: Proof Planning with Program Schemas. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
16 | William Rucklidge |
Lower Bounds for the Complexity of the Graph of the Hausdorff Distance as a Function of Transformation. |
Discret. Comput. Geom. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Rachel Alter-Gartenberg |
Nonlinear dynamic range transformation in visual communication channels. |
IEEE Trans. Image Process. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Agustín Fernández, José M. Llabería, Miguel Valero-García |
Loop Transformation Using Nonunimodular Matrices. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
nonunimodular transformations, loop transformations, linear transformations, Iteration space, unimodular transformations, Hermite Normal Form |
16 | Ravi S. Sandhu, Srinivas Ganta |
On the Expressive Power of the Unary Transformation Model. |
ESORICS |
1994 |
DBLP DOI BibTeX RDF |
Access Control, Authorization, Expressive Power, Client-Server Architecture, Access Rights |
16 | Rateb Abu-Hamdeh, James R. Cordy, T. Patrick Martin |
Schema translation using structural transformation. |
CASCON |
1994 |
DBLP BibTeX RDF |
|
16 | Olivier Danvy, John Hatcliff |
On the Transformation between Direct and Continuation Semantics. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Michael F. P. O'Boyle, G. A. Hedayat |
A New Program Transformation to Minimise Communication in Distributed Memory Architecture. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Françoise Bellegarde, Pierre Lescanne |
Transformation Ordering. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Annette Bieniusa, Peter Thiemann 0001 |
How to CPS Transform a Monad. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Piero Fraternali, Massimo Tisi |
A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application Testing. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joshua N. Ash, Randolph L. Moses |
On the Relative and Absolute Positioning Errors in Self-Localization Systems. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Charu C. Aggarwal |
On Unifying Privacy and Uncertain Data Models. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoguang He, Jie Tian 0001, Liang Li, Yuliang He, Xin Yang 0001 |
Modeling and Analysis of Local Comprehensive Minutia Relation for Fingerprint Matching. |
IEEE Trans. Syst. Man Cybern. Part B |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Erhard Weinell |
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shinichi Shirakawa, Tomoharu Nagao |
Feed Forward Genetic Image Network: Toward Efficient Automatic Construction of Image Processing Algorithm. |
ISVC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sergejus Sosunovas, Olegas Vasilecas |
Tool-Supported Method for the Extraction of OCL from ORM Models. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
UML, metamodel, OCL, ORM |
15 | Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu |
Synthesizing Secure Protocols. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jochen Malte Küster |
Definition and validation of model transformations. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Jouault, Ivan Kurtev |
On the architectural alignment of ATL and QVT. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
interoperability, model transformations, QVT, ATL, model engineering |
15 | Gordon Ping Gu, Dorina C. Petriu |
From UML to LQN by XML algebra-based model transformations. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN |
15 | Jana Koehler, Rainer Hauser |
Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Woei-Kae Chen, Kuo-Hua Chung |
A Table Presentation System for Database and Web Applications. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christian Skalka, Xiaoyang Sean Wang |
Trust but verify: authorization for web services. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
access control logic, web services, distributed authorization |
15 | Barry R. Cobb, Prakash P. Shenoy |
A Comparison of Methods for Transforming Belief Function Models to Probability Models. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
15 | David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar |
Easy Verifiable Primitives and Practical Public Key Cryptosystems. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | David B. H. Tay |
Transforming 1-D even-length filterbanks into 2-D filterbanks. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bojan Kverh, Ales Leonardis |
A New Refinement Method for Registration of Range Images Based on Segmented Data. |
Computing |
2002 |
DBLP DOI BibTeX RDF |
segmentation, reverse engineering, Registration, range images, CAD models |
15 | Konstantina Karagianni, Vassilis Paliouras, George Diamantakos, Thanos Stouraitis |
Operation-Saving VLSI Architectures for 3D Geometrical Transformations. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Elementary geometrical transformations, vector unit, VLSI architecture, graphics processor |
15 | Marek Domanski, Krzysztof Rakowski |
Lossless and near-lossless image compression with color transformations. |
ICIP (3) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ho-Chuan Huang, Jon M. Kerridge, Shang-Liang Chen |
A Query Mediation Approach to Interoperability of Heterogeneous Databases. |
Australasian Database Conference |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Manuel M. T. Chakravarty, Gabriele Keller |
More types for nested data parallel programming. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Michel Couprie, Gilles Bertrand 0001 |
Tesselations by Connection in Orders. |
DGCI |
2000 |
DBLP DOI BibTeX RDF |
discrete distance, influence zones, order, watershed, discrete topology |
15 | Enno Ohlebusch, Claus Claves, Claude Marché |
TALP: A Tool for the Termination Analysis of Logic Programs. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Charles V. Stewart, Badrinath Roysam, Ali Can |
Robust Hierarchical Algorithm for Constructing a Mosaic from Images of the Curved Human Retina. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
laser retinal surgery, hierarchical matching, feature extraction, tracking, image registration, robust estimation, mosaic, retinal imaging, montage |
15 | Ronen Basri, Daphna Weinshall |
Distance Metric Between 3D Models and 2D Images for Recognition and Classification. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
Affine deformations, 3D-to-2D metric, exterior orientation calibration, object recognition |
15 | Nicoletta De Francesco, Antonella Santone |
Unfold/Fold Transformations of Concurrent Processes. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Tat-Jen Cham, Roberto Cipolla |
Geometric Saliency of Curve Correspondances and Grouping of Symmetric Comntours. |
ECCV (1) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | David Sinclair, Andrew Blake 0001 |
Isoperimetric Normalization of Planar Curves. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
closed planar curves, isoperimetric normalization, projective group PGL(2), piecewise smooth closed curve, invariant shape descriptor, image processing, computational geometry, object recognition, edge detection, canonical form |
15 | Annalisa Bossi, Sandro Etalle |
Transforming Acyclic Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
acyclic programs, terminating programs, termination |
15 | Robert Paige |
Transformational Programming - Applications to Algorithms and Systems. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Meier, Samuel Kounev, Heiko Koziolek |
Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets. |
MASCOTS |
2011 |
DBLP DOI BibTeX RDF |
non-functional system properties, performance prediction, software architecture models, model-to-model transformation |
15 | Yi-Min Chee, Nianjun Zhou, Fan Jing Meng, Saeed Bagheri, Peide Zhong |
A Pattern-Based Approach to Cloud Transformation. |
IEEE CLOUD |
2011 |
DBLP DOI BibTeX RDF |
cloud computing, patterns, transformation, advisor |
15 | Meiko Jensen, Florian Kerschbaum |
Towards Privacy-Preserving XML Transformation. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
XML transformation, encrypted data modification problem, homomorphic encryption |
15 | Marcos Tong, Harald Bender, Mikko Kolehmainen, Janne Parantainen, Gerald Lehmann |
Enterprise Architecture for Addressing Business Transformation Challenges: The Case of Embedded Mobile Provisioning Process in the Telecommunications Industry. |
EDOC |
2011 |
DBLP DOI BibTeX RDF |
reference-diagrams, embedded-mobile, provisioning-process, strategy-alignment, strategy-initiative, framework, transformation, telecommunications, method, Enterprise-architecture, intentional-modeling |
15 | Bin Shao, Du Li, Ning Gu |
A Fast Operational Transformation Algorithm for Mobile and Asynchronous Collaboration. |
IEEE Trans. Parallel Distributed Syst. |
2010 |
DBLP DOI BibTeX RDF |
Collaboration, mobile computing, concurrency control, data consistency, operational transformation, optimistic replication |
15 | Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist |
Design-Space Exploration through Constraint-Based Model-Transformation. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Model transformation, design-space exploration, rule-based, declarative, EMF |
|
|