|
|
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 |
18 | Fredrik Seehusen, Ketil Stølen |
Information flow property preserving transformation of UML interaction diagrams. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
UML, refinement, model driven architecture, transformation, information flow security |
18 | Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
The case for analysis preserving language transformation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
language transformation, security, Java, verification, static analysis, C, language translation |
18 | Marat Boshernitsan, Susan L. Graham |
Interactive transformation of java programs in eclipse. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
transformation, languages, interactive environments |
18 | João Paulo A. Almeida, Pascal van Eck, Maria-Eugenia Iacob |
Requirements Traceability and Transformation Conformance in Model-Driven Development. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
con-formance, assessment, model transformation, requirements traceability, model-driven design |
18 | Silas S. Brown, Peter Robinson 0001 |
Interacting with notations: two examples of the use of a transformation system. |
Univers. Access Inf. Soc. |
2005 |
DBLP DOI BibTeX RDF |
Interfaces, Transformation, Music, Blind, Low vision |
18 | Chu Wenchang, Livia De Donno |
Transformation on Infinite Double Series and Applications to Harmonic Number Identities. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Harmonic Number, Bernoulli Number, Catalan Constant, Binomial Coefficient Identity, Double Series Transformation, Euler Number |
18 | Timothy W. O'Neil, Edwin Hsing-Mean Sha |
Combining Extended Retiming and Unfolding for Rate-Optimal Graph Transformation. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
scheduling, graph transformation, retiming, unfolding, data-flow graphs, timing optimization |
18 | Xiaoqing Wu |
Pattern transformation for two-dimensional separation of concerns. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
pattern transformation, design patterns, AOP, separation of concerns |
18 | Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan |
Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks |
18 | Luciano Baresi, Elisa Quintarelli |
Graph transformation to infer schemata from XML documents. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
XML, graph transformation, semistructured data, DTD |
18 | Qinhua Zhu, Yongquan Yu, Wen Cai |
Extension Set and the Research of the Extension ADD Transformation. |
ICITA (1) |
2005 |
DBLP DOI BibTeX RDF |
extension set, matter element, extension transformation, thermal piles, permafrost |
18 | Yoshihide Hosokawa, Naoki Kimura, Naohisa Takahashi |
An implementation method of a location-based active map transformation system. |
Mobile Data Management |
2005 |
DBLP DOI BibTeX RDF |
map transformation, mobile computing, context awareness |
18 | Chung-Wen Cho, Yi-Hung Wu, Arbee L. P. Chen |
Effective Database Transformation and Efficient Support Computation for Mining Sequential Patterns. |
DASFAA |
2005 |
DBLP DOI BibTeX RDF |
Database transformation, Frequent k-sequences, Data mining, Sequential patterns |
18 | Ching-Te Wang, Tung-Shou Chen, Wen-Hung Chao |
A New Detection Method for Tampered Audio Signals Based on Discrete Cosine Transformation. |
WSTST |
2005 |
DBLP DOI BibTeX RDF |
discrete cosine transformation, audio, frequency domain, MP3 |
18 | Mark A. Whiting, Wendy Cowley, Nick Cramer, Alex Gibson, Ryan Hohimer, Ryan Scott, Stephen Tratz |
Enabling massive scale document transformation for the semantic web: the universal parsing agent™. |
ACM Symposium on Document Engineering |
2005 |
DBLP DOI BibTeX RDF |
XML, natural language processing, parsing, regular expressions, XSLT, document transformation |
18 | Pascale Fung, Grace Ngai, Yongsheng Yang, Benfeng Chen |
A maximum-entropy chinese parser augmented by transformation-based learning. |
ACM Trans. Asian Lang. Inf. Process. |
2004 |
DBLP DOI BibTeX RDF |
Parsing for Chinese, chunking and parsing for Chinese, transformation-based learning, maximum entropy, POS tagging |
18 | Silas S. Brown, Peter Robinson 0001 |
Transformation frameworks and their relevance in universal design. |
Univers. Access Inf. Soc. |
2004 |
DBLP DOI BibTeX RDF |
4DML, Education, Tools, Transformation, Conversion, Notations |
18 | David Sun, Steven Xia, Chengzheng Sun, David Chen 0002 |
Operational transformation for collaborative word processing. |
CSCW |
2004 |
DBLP DOI BibTeX RDF |
operational transformation, multi-versioning, group undo |
18 | Shengjun Li, Ruimin Shen |
Hook and Screen Division Based Screen Compression for the Real-Time Multimedia Transformation of e-Learning System. |
ICWL |
2004 |
DBLP DOI BibTeX RDF |
Hook and Screen Division, Screen Compression, real-time multimedia transformation, E-Learning, lossless compression, lossy compression |
18 | Wei Xu, Daniel C. DuVarney, R. Sekar 0001 |
An efficient and backwards-compatible transformation to ensure memory safety of C programs. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
program transformation, C, memory safety |
18 | Nikita Schmidt, Corina Sas |
Software usability: a comparison between two tree-structured data transformation languages. |
NordiCHI |
2004 |
DBLP DOI BibTeX RDF |
data transformation language, metadata, software metrics, tree-structured data, software usability |
18 | Bertrand Anckaert, Bjorn De Sutter, Dominique Chanet, Koen De Bosschere |
Steganography for Executables and Code Transformation Signatures. |
ICISC |
2004 |
DBLP DOI BibTeX RDF |
code transformation signature, steganography, executables |
18 | Rong Pan, Qiang Yang 0001, Lei Li 0022 |
Case Retrieval Using Nonlinear Feature-Space Transformation. |
ECCBR |
2004 |
DBLP DOI BibTeX RDF |
Case Base Transformation, Nonlinear Case Bases, Similarity |
18 | Sangwook Kim, Kyungdeok Kim, Sookyoung Lee |
Transformation of MPEG-4 Contents for a PDA Device. |
PCM (2) |
2004 |
DBLP DOI BibTeX RDF |
Adaptation, Authoring, Transformation, MPEG-4 |
18 | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification |
18 | Songwen Xu, Yam San Chee |
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Automatic program diagnosis, programming tutoring systems, program comparison, program matching, program transformation, program representation |
18 | Ruoming Pang, Vern Paxson |
A high-level programming environment for packet trace anonymization and transformation. |
SIGCOMM |
2003 |
DBLP DOI BibTeX RDF |
packet trace, internet, privacy, measurement, anonymization, transformation, network intrusion detection |
18 | Hajime Sawamura, Wataru Kawakami, Yuichi Umeda |
Argument transformation for growing agents with mobility. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
argument transformation, mobility, argumentation |
18 | Takahiro J. Yamaguchi, Dong Sam Ha, Masahiro Ishida, Tadahiro Ohmi |
A Method for Compressing Test Data Based on Burrows-Wheeler Transformation. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
compression, Data compression, test data compression, Burrows-Wheeler transformation, test data, run-length coding |
18 | Bernard Tiddeman, David I. Perrett |
Transformation of dynamic facial image sequences using static 2D prototypes. |
Vis. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Facial image transformation, Image processing |
18 | Martin P. Ward |
The Formal Transformation Approach to Source Code Analysis and Manipulation. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL |
18 | Sandro Bartolini, Cosimo Antonio Prete |
An Object Level Transformation Technique to Improve the Performance of Embedded Applications. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
procedure reordering, optimization, cache, program transformation, conflict misses |
18 | Filippo Ricca, Paolo Tonella, Ira D. Baxter |
Restructuring Web Applications via Transformation Rules. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
Web applications, restructuring, transformation rules |
18 | Hong Tang 0004, Kai Shen, Tao Yang 0009 |
Program transformation and runtime support for threaded MPI execution on shared-memory machines. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines |
18 | Francisco de Assis Zampirolli, Roberto de Alencar Lotufo |
Classification of the Distance Transformation Algorithms under the Mathematical Morphology Approach. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
distance transformation algorithm classification, sequential raster algorithms, parallel algorithms, image processing, image processing, computer architectures, mathematical morphology, binary image, distance metric, propagation algorithms |
18 | Wael M. Badawy, Magdy A. Bayoumi |
A Multiplication-Free Parallel Architecture for Affine Transformation. |
ASAP |
2000 |
DBLP DOI BibTeX RDF |
parallel architecture, Video, mesh, VLSI architecture, affine transformation, triangular patches |
18 | Daniel Weiskopf, Ute Kraus, Hanns Ruder |
Searchlight and Doppler effects in the visualization of special relativity: a corrected derivation of the transformation of radiance. |
ACM Trans. Graph. |
1999 |
DBLP DOI BibTeX RDF |
Lorentz transformation, aberration of light, searchlight effect, illumination, Doppler effect, special relativity |
18 | Michael Goedicke, Torsten Meyer, Gabriele Taentzer |
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. |
RE |
1999 |
DBLP DOI BibTeX RDF |
Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management |
18 | Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
UMLAUT: An Extendible UML Transformation Framework. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques |
18 | Toru Wakahara, Kazumi Odaka |
Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1998 |
DBLP DOI BibTeX RDF |
Adaptive normalization, global and local affine transformation, weighted least-squares criterion, distortion-tolerant shape matching, deformation model |
18 | Toru Wakahara, Kazumi Odaka |
Adaptive Normalization of Handwritten Characters Using Global/Local Affine Transformation. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
Adaptive normalization, global and local affine transformation, weighted least-squares criterion, distortion-tolerant matching, cursive handwriting |
18 | Martin P. Ward |
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement |
18 | Tae-Hyung Kim, James M. Purtilo |
A Source-Level Transformation Framework for RPC-Based Distributed Programs. |
HPDC |
1996 |
DBLP DOI BibTeX RDF |
source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures |
18 | Frank Vahid |
Procedure exlining: a transformation for improved system and behavioral synthesis. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
VHDL transformation tool, distinct computation, procedure exlining, procedure inlining, redundant sequences, statements, formal specification, distributed processing, VHDL, hardware description languages, remote procedure calls, behavioral synthesis, behavioral specification, system synthesis, procedure calls, synthesis tools |
18 | Malek Adjouadi, Frank M. Candocia |
A Stereo Matching Paradigm Based on the Walsh Transformation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection |
18 | Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle |
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
Program Transformation and Program Derivation, Automatic Parallelization and Mapping, Functional Programming, Sparse Matrices |
18 | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages |
18 | Hiromitsu Yamada, Kazuhiko Yamamoto, Katsumi Hosokawa |
Directional Mathematical Morphology and Reformalized Hough Transformation for the Analysis of Topographic Maps. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
directional mathematical morphology, maps analysis, automatic digitisation, reformalized Hough transformation, graphical topographic maps, multiangled parallelism, erosion-dilation operations, directional feature planes, MAP matching method, 1/25000 scale map, parallel algorithms, image processing, image processing, feature extraction, feature extraction, mathematical morphology, Hough transforms, cartography, cartography |
18 | Hugo Embrechts, Dirk Roose |
Parallel Algorithms for the Distance Transformation. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
image analysis, distance transformation, divide and conquer, MIMD machines |
18 | Kwangyoen Wohn, Jian Wu, Roger W. Brockett |
A Contour-Based Recovery of Image Flow: Iterative Transformation Method. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
contour-based recovery, image flow, Iterative transformation method, 2-D motion, local ambiguity, 3-D motion, natural time-varying images, picture processing, convergence, iterative methods, polynomials, polynomial approximation, synthetic images, aperture problem |
18 | John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright |
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. |
PARLE (1) |
1989 |
DBLP DOI BibTeX RDF |
Functional programming environment, program transformation, partial evaluation, parallel execution |
18 | Ken-ichi Kanatani |
Transformation of Optical Flow by Camera Rotation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
optical flow transformation, 3D rotation group, camera rotation, planar surface motion, computer vision, computer vision, picture processing, picture processing, cameras, parameter space |
18 | Stanley Y. W. Su, Herman Lam, Der Her Lo |
Transformation of Data Traversals and Operations in Application Programs to Account for Semantic Changes of Databases. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
application program conversion, database changes, access pattern, semantic data model, transformation rules |
17 | Mangala Gowri Nanda, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha |
Demystifying model transformations: an approach based on automated rule inference. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
precondition analysis, transformation comprehension, model-driven development, model validation, model-to-model transform |
17 | Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
TROPIC: a framework for model transformations on petri nets in color. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
model transformation, colored petri nets |
17 | Andreas Petter, Alexander Behring, Max Mühlhäuser |
Solving Constraints in Model Transformations. |
ICMT@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
model transformation, model driven engineering, constraint programming, constraint solving |
17 | Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos |
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
Epsilon, UML, Model transformation, CSP, B |
17 | Giuseppe Martinelli |
Hopfield-Like Neural Nets and Sensor Networks. |
Neural Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
Transformation of nonlinear sensor networks into Hopfield-like nets, Nonlinear non-reciprocal sensor networks, Global consensus |
17 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
A programmable editor for developing structured documents based on bidirectional transformations. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Bidirectional transformation, Functional programming, View updating, Document engineering, Structured editor |
17 | Ehab Moustafa |
Public-private partnership in managing labor market in UAE - case study. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
PPP, business innovations, governance model, parallel organization, private public partnership, e-government, change management, strategic planning, business transformation |
17 | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
Unfolding in CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
program transformation, unfolding, constraint handling rules |
17 | Parastoo Mohagheghi, Vegard Dehlen |
Developing a Quality Framework for Model-Driven Engineering. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
metrics, transformation, quality, Model-driven engineering |
17 | Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li |
Towards a Model Driven Approach to Automatic BPEL Generation. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
EDOC, BPEL generation, model transformation |
17 | Arash Hadipour Niktarash |
A computational model of how an interaction between the thalamocortical and thalamic reticular neurons transforms the low-frequency oscillations of the globus pallidus. |
J. Comput. Neurosci. |
2006 |
DBLP DOI BibTeX RDF |
Globus pallidus, Frequency transformation, Parkinson’s disease, Computational models, Oscillations, Basal ganglia, Thalamus |
17 | Marcus Alanen, Torbjörn Lundkvist, Ivan Porres |
Reconciling diagrams after executing model transformations. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
XMI[DI], diagram interchange, model transformation, visual languages |
17 | Jonathan Jiin-Tian Chyou, Bill Yu-Fan Cheng |
Improving the Deployability of Existing Windows-Based Client/Server Business Information Systems Using ActiveX. |
ICDCIT |
2006 |
DBLP DOI BibTeX RDF |
Information System Deployment, Information System Architecture Transformation, Deployability, ActiveX, Information System Architecture |
17 | Shengxiang Yang |
A comparative study of immune system based genetic algorithms in dynamic environments. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
immune system based genetic algorithms, random immigrants, transformation, memory, dynamic environments |
17 | Stephen J. Maybank |
The Fisher-Rao Metric for Projective Transformations of the Line. |
Int. J. Comput. Vis. |
2005 |
DBLP DOI BibTeX RDF |
canonical volume, Fisher-Rao metric, probability of false detection, projective transformation of the line, asymptotic expansion, Riemannian manifold, heat equation |
17 | Milan Daniel |
Probabilistic Transformations of Belief Functions. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
Probabilistic transformation, Pignistic probability, Combination consistency, ulb-consistency, Dempster-Shafer theory, Belief function |
17 | Jinquan Dai, Bo Huang 0002, Long Li, Luddy Harrison |
Automatically partitioning packet processing applications for pipelined architectures. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
live-set transmission, pipelining transformation, parallel, network processor, program partition, packet processing |
17 | Qing Yi, Ken Kennedy, Vikram S. Adve |
Transforming Complex Loop Nests for Locality. |
J. Supercomput. |
2004 |
DBLP DOI BibTeX RDF |
complex loop structure, linear algebra kernels, compiler optimization, loop transformation |
17 | Janis Voigtländer |
Using Circular Programs to Deforest in Accumulating Parameters. |
High. Order Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs |
17 | Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero |
USIXML: A Language Supporting Multi-path Development of User Interfaces. |
EHCI/DS-VIS |
2004 |
DBLP DOI BibTeX RDF |
context-sensitive user interface, modality independence, multi-path development, rendering independence, model-driven architecture, development processes, user interface description language, model-to-model transformation |
17 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
A programmable editor for developing structured documents based on bidirectional transformations. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
bidirectional transformation, functional programming, editor, view updating, document engineering |
17 | Alberto Pettorossi, Maurizio Proietti |
A theory of totally correct logic program transformations. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
partial and total correctness, program transformation rules, well-founded orderings, logic programming |
17 | Susumu Nishimura |
Fusion with stacks and accumulating parameters. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks |
17 | Jeffrey G. Gray, Jing Zhang 0003, Suman Roychoudhury, Ira D. Baxter |
C-SAW and genAWeave: a two-level aspect weaving toolsuite. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software maintenance, program transformation, model-driven architecture |
17 | Oukseh Lee, Kwangkeun Yi |
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
program transformation, program analysis, memory management |
17 | Wei-Yun Yau, Kar-Ann Toh, Tai Pang Chen |
Fingerprint Templates Combination. |
SINOBIOMETRICS |
2004 |
DBLP DOI BibTeX RDF |
fingerprint template combination, minutiae data transformation, fingerprint recognition |
17 | Peter Che Bor Lam, Heping Zhang |
A Distributive Lattice on the Set of Perfect Matchings of a Plane Bipartite Graph. |
Order |
2003 |
DBLP DOI BibTeX RDF |
Z-transformation graph, plane bipartite graph, poset, perfect matching, distributive lattice |
17 | Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts, Lloyd Rutledge |
Towards a multimedia formatting vocabulary. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
Cuypers, formatting objects, hyper-media, multimedia, document transformation |
17 | Yasuhiko Minamide, Koji Okuma |
Verifying CPS transformations in Isabelle/HOL. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
program transformation, theorem proving, correctness proofs |
17 | Mathupayas Thongmak, Pornsiri Muenchaisri |
Design of Rules for Transforming UML Sequence Diagrams into Java code. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
UML, Class diagrams, Sequence diagrams, Transformation rules |
17 | Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass |
A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing |
17 | Oronzo Altamura, Floriana Esposito, Donato Malerba |
Transforming paper documents into XML format with WISDOM++. |
Int. J. Document Anal. Recognit. |
2001 |
DBLP DOI BibTeX RDF |
Induction of decision trees, Transformation into HTML/XML format, Document image analysis, Layout analysis |
17 | Yann-Gaël Guéhéneuc, Hervé Albin-Amiot |
Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
design patterns, constraints, source code transformation, design defects, OO design |
17 | Reiko Heckel, Stefan Sauer 0001 |
Strengthening UML Collaboration Diagrams by State Transformations. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
UML collaboration diagrams, pre/postconditions, graph process, graph transformation |
17 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation |
17 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
Improving Functional Logic Programs by Difference-Lists. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
program transformation, compiler optimization, functional logic programming |
17 | Dingyi Pei, Wenliang Qin |
The Correlation of a Boolean Function with Its Variables. |
INDOCRYPT |
2000 |
DBLP DOI BibTeX RDF |
Boolean function, stream cipher, correlation, Walsh transformation |
17 | Yun Bai 0001, Vijay Varadharajan |
On Formal Languages for Sequences of Authorization Transformations. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
Policy Transformation, Formal language, Default logic, Authorization Policies |
17 | Alexander G. Mamistvalov |
n-Dimensional Moment Invariants and Conceptual Mathematical Theory of Recognition n-Dimensional Solids. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1998 |
DBLP DOI BibTeX RDF |
n-ary quantics, algebraic invariants, n-dimensional moments, geometric concepts, n-dimensional solids, metric characteristics, affine classification, affine transformation, moment invariants |
17 | Ross Paterson |
Transforming Lazy Functions Using Comportment Properties. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, automatic program transformation |
17 | Andrew E. Johnson 0002, Martial Hebert |
Surface Registration by Matching Oriented Points. |
3DIM |
1997 |
DBLP DOI BibTeX RDF |
3D free-form surface registration, oriented point matching, view transformation, descriptive images, object surface, single point bases, data level shape descriptions, multiple sensing, image registration, image representation, image correlation, iterative closest point algorithm |
17 | Fernand S. Cohen, Jin-Yinn Wang |
Part I: Modeling Image Curves Using Invariant 3-D Object Curve Models-A Path to 3-D Recognition and Shape Estimation from Image Contours. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
image curves, invariant 3-D object curve models, 3-D recognition, binocular stereo imaging system, minimum mean-square error estimation technique, Bayesian selection rule, prototype curves, sample curve, image recognition, B-splines, Bayes methods, stereo image processing, affine transformation, splines (mathematics), matching algorithm, shape estimation, control points, image contours |
17 | Erik H. D'Hollander |
Partitioning and Labeling of Loops by Unimodular Transformations. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix |
17 | Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper |
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
program construction by transformations, formal problem specification, Munich project CIP, computer-aided intuition-guided programming, software engineering, formal specification, software development, transformation rules, wide-spectrum language, transformational programming |
16 | Jiali Feng |
Attribute Computing Network Induced by Linear Transformation and Granular Transformation of Qualitative Criterion. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Bernd Braßel, Jan Christiansen |
Denotation by Transformation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Alves, Mário Florido |
Linearization by Program Transformation. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
|
|