|
|
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 |
15 | Cheng Hao Jin, Gouchol Pok, Hi-Seok Kim, Eun Jong Cha, Keun Ho Ryu |
Classification of Closed Frequent Patterns Improved by Feature Space Transformation. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Closed Frequent Pattern, Feature Space Transformation, Classification Accuracy |
15 | Xiaoqiang Zhang, Guiliang Zhu, Weiping Wang, Mengmeng Wang, Shilong Ma |
Period Law of Discrete Two-Dimensional Arnold Transformation. |
FCST |
2010 |
DBLP DOI BibTeX RDF |
Arnold transformation, digital watermark, regression analysis, Image encryption |
15 | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
From POOSL to UPPAAL: Transformation and Quantitative Analysis. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
POOSL, performance, verification, transformation, quantitative analysis, UPPAAL |
15 | Jinpeng Wang, Yafei Zhang, Zhuang Miao, Jianjiang Lu |
Query Transformation in Ontology-Based Relational Data Integration. |
APWCS |
2010 |
DBLP DOI BibTeX RDF |
ontology, relational database, data integration, SQL, SPARQL, query transformation |
15 | Toshinobu Matsuba, Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada |
Aggressive Register Unsharing Based on SSA Transformation for Clock Enhancement in High-Level Synthesis. |
DELTA |
2010 |
DBLP DOI BibTeX RDF |
static single assignment transformation, high-level synthesis, multiplexer |
15 | Chung-Wen Cho, Yi-Hung Wu, Arbee L. P. Chen |
Effective database transformation and efficient support computation for mining sequential patterns. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Database transformation, Support computation, Database projection, Data mining, Sequential patterns |
15 | Andrew G. Howard, Tony Jebara |
Transformation Learning Via Kernel Alignment. |
ICMLA |
2009 |
DBLP DOI BibTeX RDF |
Kernel Alignment, Transformation Learning, Semidefinite Programming, Kernel Learning |
15 | Andrew E. Fluck, Mary Burston |
Towards Transformation: Always On Students and Health Education. |
WCCE |
2009 |
DBLP DOI BibTeX RDF |
AlwaysOn, PDAs Health Education, transformation, ICT |
15 | Dianchuan Jin, Xuebin Chen, Zhaohua Qian |
Resolution and Reconstruction of an Algorithm by a Modified Mobius Transformation in Signal Processing. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
modified Mobius transformation, modified Mobius resolution, modified Mobius reconstruction, separating signals from the noise, multi-resolution analysis |
15 | Márcia Lucena, Jaelson Castro, Carla T. L. L. Silva, Fernanda M. R. Alencar, Emanuel Santos, João Pimentel 0001 |
A Model Transformation Approach to Derive Architectural Models from Goal-Oriented Requirements Models. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
Requirements engineering, Models Transformation, Architectural design |
15 | Junhua Zhang, Gen Yang, Qing Xu, Yongjun Zhao 0003 |
Adaptive Calculation of Division Points for Piecewise Linear Transformation and Application in Image Enhancement. |
ESIAT (1) |
2009 |
DBLP DOI BibTeX RDF |
division point, piecewise linear transformation, minimum error threshold, image enhancement |
15 | Yanxia Jia, Yonglei Tao |
Teaching Software Design Using a Case Study on Model Transformation. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Model Transformation, Software Design, Software Engineering Education |
15 | Wu Zhang, Min Liu, Zong-gui Zhao |
Accuracy Analysis of Unscented Transformation of Several Sampling Strategies. |
SNPD |
2009 |
DBLP DOI BibTeX RDF |
unscented transformation, sampling strategy, nonlinear filters |
15 | Guangyu Kang, Shize Guo |
Speaker Transformation Using Length-Variable Moving Window Based GMM. |
HIS (1) |
2009 |
DBLP DOI BibTeX RDF |
Speaker transformation, length-variable moving window, GMM |
15 | Ku-Yaw Chang, Shao-Jer Chen, Lih-Shyang Chen, Cheng-Jung Wu |
Articular Cartilage Segmentation Based on Radial Transformation. |
HIS (1) |
2009 |
DBLP DOI BibTeX RDF |
articular cartilage, radial transformation, osteoarthritis, image segmentation |
15 | Ro-Yu Wu, Jou-Ming Chang, Chir-Ho Chang |
A Developed Restricted Rotation for Binary Trees Transformation. |
HIS (1) |
2009 |
DBLP DOI BibTeX RDF |
Tree transformation, Algorithms, Rotations, Binary trees |
15 | Fuhua Shang, Lei Wang |
SVM Model Based on Signal Transformation and its Applications in Oil Water-Flooded Identification. |
FSKD (5) |
2009 |
DBLP DOI BibTeX RDF |
signal transformation, water-flooded identification, SVM |
15 | Yuhuang Ye, Xiangjian He, Jianmin Li, Wenjing Jia, Qiang Wu 0001 |
Image Transformation on Hexagonal Structure Based on Conversion between 1D and 2D Coordinates. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Hexagonal structure, Spiral Architecture, image transformation |
15 | Jason J. Jung |
Ontology Mapping Composition for Query Transformation in Distributed Environment. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
Mapping composition, Ontology mapping, Query transformation |
15 | Yangwen Xu |
Study on Fault Diagnosis of Rolling Bearing Based on K-L Transformation and Lagrange Support Vector Regression. |
JCAI |
2009 |
DBLP DOI BibTeX RDF |
K-L transformation, Lagrange support vector regression, Rolling bearing, Fault diagnosis |
15 | Qixin Zhu, Hongli Liu, Juan Jiang, Yanping Wang, Hui Yang 0005 |
Stabilization of Networked Control Systems with Long Varying Time Delay Based on Two Steps Transformation. |
PACIIA (1) |
2008 |
DBLP DOI BibTeX RDF |
two steps transformation, stabilization, Networked control systems |
15 | Taiga Yoshida, Satoshi Nakamura 0002, Satoshi Oyama, Katsumi Tanaka |
Query Transformation by Visualizing and Utilizing Information about What Users Are or Are Not Searching. |
ICADL |
2008 |
DBLP DOI BibTeX RDF |
interactive operation, visualization, information retrieval, query transformation |
15 | Yucong Duan, Kyo Chul Kang, Yuqing Gu |
A Solution Framework on Fundamentals in Model Transformation. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
computer, model transformation, cognition, human |
15 | Xingtong Liu, Quan Zhang, Chaojing Tang, Jingjing Zhao, Jian Liu |
A Steganographic Algorithm for Hiding Data in PDF Files Based on Equivalent Transformation. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
steganographic algorithm, equivalent transformation, information hiding, PDF |
15 | Jirapond Tadrat, Veera Boonjing |
An Experiment Study on Text Transformation for Compression Using Stoplists and Frequent Words. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Text transformation, Text preprocessing, Star encoding, LPT, RLPT, SCLPT, LIPT |
15 | Bin Hu 0004, Günther R. Raidl |
Solving the Railway Traveling Salesman Problem via a Transformation into the Classical Traveling Salesman Problem. |
HIS |
2008 |
DBLP DOI BibTeX RDF |
Transformation, Traveling Salesman Problem, Network Design |
15 | Jaroslav Koton, Kamil Vrba |
Electronically Tunable Frequency Filters Based on Transformation Cells. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
Tunable Filter, Immittance element, Transformation Cell, Voltage Conveyor, OTA, Frequency Filter |
15 | Olivier Constant, Wei Monin, Susanne Graf |
A model transformation tool for performance simulation of complex uml models. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
model transformation, uml, performance simulation |
15 | Yusuke Atomori, Isao Echizen, Hiroshi Yoshiura |
Picture Watermarks Surviving General Affine Transformation and Random Distortion. |
IIH-MSP |
2008 |
DBLP DOI BibTeX RDF |
StirMark Attack, Watermark, Affine Transformation |
15 | Yung-Chin Tsao, Li-Chieh Chen, Shaio-Chung Chan |
The Research of Using Image-Transformation to the Conceptual Design of Wearable Product with Flexible Display. |
HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
wearable computer, image-transformation, flexible display |
15 | Jaeha Kim, Kevin D. Jones, Mark A. Horowitz |
Variable domain transformation for linear PAC analysis of mixed-signal systems. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
PAC analysis, domain transformation, linear analysis, simulation |
15 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism |
15 | Thomas Baar, Jon Whittle 0001 |
On the Usage of Concrete Syntax in Model Transformation Rules. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
UML, Refactoring, Model Transformation, Metamodeling |
15 | Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001 |
A Model Transformation Approach for Design Pattern Evolutions. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
JTP, Design pattern evolution, Design pattern, Model Transformation, XSLT, XMI |
15 | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
Program transformation by solving recurrences. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
efficient time complexity, recurrences with one or multiple parameters, program transformation |
15 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
15 | Wei Liu 0026, Dahua Lin, Xiaoou Tang |
Neighbor combination and transformation for hallucinating faces. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
geometry structure exploitation, neighbor transformation, face hallucination framework, facial image patch synthesis, neighbor combination super-resolution model |
15 | Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko Kambayashi |
Authorization Translation for XML Document Transformation. |
World Wide Web |
2004 |
DBLP DOI BibTeX RDF |
XML access control models, authorizations, database security, XML documents, document transformation |
15 | Sven Groppe, Stefan Böttcher |
XPath query transformation based on XSLT stylesheets. |
WIDM |
2003 |
DBLP DOI BibTeX RDF |
XPath, XSLT, query rewriting, query transformation |
15 | Jingzhi Guo, Chengzheng Sun |
Context representation, transformation and comparison for ad hoc product data exchange. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
XML product map, XPM, ad hoc product data exchange, context comparison, context transformation, electronic product catalogue, product data integration, semantics, electronic commerce, concept, context representation |
15 | Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi |
Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation. |
CASCON |
2003 |
DBLP BibTeX RDF |
Java 2 Enterprise Edition (J2EETM), JavaServer pages, Net.Data, Java, SQL, SQL, transformation, migration, model-view-controller (MVC), JavaBeans |
15 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
Recognizing Mathematical Expressions Using Tree Transformation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
recognition of mathematical notation, tree transformation, Document image analysis, graphics recognition, diagram recognition |
15 | Jan-Jan Wu |
An Interleaving Transformation for Parallelizing Reductions for Distributed-Memory Parallel Machines. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
triangular systems solver, parallel processing, program transformation, reduction, parallelizing compilation, distributed-memory |
15 | Ratko Orlandic, Byunggu Yu |
Object and Query Transformation: Supporting Multi-Dimensional Queries through Code Reuse. |
CIKM |
2000 |
DBLP DOI BibTeX RDF |
object transformation, point access methods, database systems, spatial access methods |
15 | Ali E. Abdallah |
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
filter promotion, parallelism, Specification, program transformation, refinement, communicating processes, accumulation |
15 | Stanislav L. Stoev, Wolfgang Straßer |
Extracting regions of interest applying a local watershed transformation. |
IEEE Visualization |
2000 |
DBLP DOI BibTeX RDF |
biomedical image segmentation, morphological segmentation, computer vision, image processing, feature extraction, data visualization, volume visualization, watershed transformation |
15 | Alain J. Mayer, Moti Yung |
Secure Protocol Transformation via "Expansion": From Two-Party to Groups. |
CCS |
1999 |
DBLP DOI BibTeX RDF |
complexity theoretic proofs, key transport, protocol transformation, secure group protocols, authentication, protocol design, forward secrecy |
15 | Michael D. Matthies, Kenneth R. Schuetz, Paula J. Vaughan |
The Transformation of IT Support at the University of Colorado at Boulder. |
SIGUCCS |
1999 |
DBLP DOI BibTeX RDF |
Service Center project, Service Center software, Service Level Agreemants, service delivery transformation, support models, IT support |
15 | Chengzheng Sun, Rok Sosic |
Optimal Locking Integrated with Operational Transformation in Distributed Real-Time Group Editors. |
PODC |
1999 |
DBLP DOI BibTeX RDF |
distributed computing, groupware, locking, operational transformation, consistency maintenance, group editors |
15 | Greg Turk, James F. O'Brien |
Shape Transformation Using Variational Implicit Functions. |
SIGGRAPH |
1999 |
DBLP DOI BibTeX RDF |
contour interpolation, shape morphing, thin-plate techniques, implicit surfaces, shape transformation |
15 | Chenglie Hu |
Algorithm 785: a software package for computing Schwarz-Christoffel conformal transformation for doubly connected polygonal regions. |
ACM Trans. Math. Softw. |
1998 |
DBLP DOI BibTeX RDF |
Schwarz-Christoffel conformal transformation, accessory parameters, doubly connected region, numerical conformal mapping, system of nonlinear equations |
15 | Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert |
A Logic-Based Transformation System. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
Knowledge representation techniques, requirement specification language, multiple inheritance, nonmonotonic logic, transformation system |
15 | Vladimir V. Savchenko, Alexander A. Pasko |
Transformation of functionally defined shapes by extended space mappings. |
Vis. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Extended space, Real function, F-rep, Transformation, Geometric modeling, Deformation, Implicit surface, Solid modeling, Isosurface, Shape modeling, Metamorphosis, Space mapping |
15 | Chengzheng Sun, Clarence A. Ellis |
Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements. |
CSCW |
1998 |
DBLP DOI BibTeX RDF |
causality preservation, distributed computing, groupware, convergence, operational transformation, consistency maintenance, group editors, intention preservation |
15 | Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens |
On the completeness of object-creating database transformation languages. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation |
15 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, transformation, deadlock, coroutining |
15 | Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig |
A View-Oriented Approach to System Modelling Based on Graph Transformation. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
specification language, software process, view, viewpoint, view integration, graph transformation systems |
15 | Frank Vahid |
Port Calling: A Transformation for Reducing I/O during Multi-Package Functional Partitioning. |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
communication, transformation, hardware/software codesign, system synthesis, Functional partitioning |
15 | Yangjun Chen, Wolfgang Benn |
Poster on Rule-based Technology for Schema Transformation. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
rule-based technology, local database schema, abstract database schema, data model conflicts, object-oriented schema, relational database logic, object-oriented logic, Horn-clause-like rules, meta-level reasoning, knowledge based systems, data models, object-oriented database, integrity constraints, database integration, schema transformation, relational schemas |
15 | Farokh B. Bastani, Bojan Cukic |
Impact of program transformation on software reliability assessment. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment |
15 | Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzenhäuser |
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors. |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
groupware, concurrency control, interaction model, operation transformation, group editors, group undo |
15 | Krishna B. Rajan, David E. Long, Miron Abramovici |
Increasing testability by clock transformation (getting rid of those darn states). |
VTS |
1996 |
DBLP DOI BibTeX RDF |
clock transformation, sequential test generation, darn states, easy-to-reach states, logic testing, partitioning, design for testability, sequential circuits, DFT, fault coverage, testability, flip-flops, flip-flops, clocks, logic partitioning |
15 | Christoph W. Kessler |
Pattern-driven automatic program transformation and parallelization. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
PARAMAT system, sequential numeric codes, dense vectors, distributed memory message-passing multiprocessors, pattern recognition tool, pattern recognition, parallel algorithm, parallel programming, parallelization, software tools, distributed memory systems, automatic programming, program semantics, automatic program transformation |
15 | Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen |
An alternative transformation rule for logic programs. |
SAC |
1995 |
DBLP DOI BibTeX RDF |
program transformation, program development, theory of computation, negation in logic programming |
15 | Chengqi Zhang |
Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
heterogeneous transformation, uncertainties of propositions, inexact reasoning models, general criteria, heterogeneous distributed expert system, heterogeneous inexact reasoning, individual unit elements, homomorphic mapping, unique mapping, EMYCIN, PROSPECTOR, MYCIN, homomorphic transformations, distributed processing, expert systems, inference mechanisms, fuzzy set theory, uncertainty handling, semigroup, algebraic structure |
15 | Harald C. Gall, René Klösch |
Program transformation to enhance the reuse potential of procedural software. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
reverse engineering, program transformation, software reuse, reusable components |
15 | Haklin Kim |
Program Transformation for the Longest Upsequence Set Problem. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
program transformation, program verification, logics of programs |
15 | Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré |
Spes: A System for Logic Program Transformation. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
Key-words program transformation, strategy, unfolding, folding |
15 | James R. Kent, Wayne E. Carlson, Richard E. Parent |
Shape transformation for polyhedral objects. |
SIGGRAPH |
1992 |
DBLP DOI BibTeX RDF |
interpolation, computer animation, computer-aided geometric design, shape transformation |
15 | Pascal Fradet, Daniel Le Métayer |
Compilation of Functional Languages by Program Transformation. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
program transformation, continuations, combinators |
15 | Ghassan Chehaibar |
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement |
15 | L. Duchene, S. Leclerq |
An Optimal Transformation for Discriminant and Principal Component Analysis. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
multivariate data sets, discriminant vectors, principal component analysis, computerised pattern recognition, vectors, discriminant analysis, optimal transformation |
15 | Saburo Tsuji, Fumio Matsumoto |
Detection of Ellipses by a Modified Hough Transformation. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
pattern recognition, picture processing, Hough transformation, scene analysis, line fitting, Curve detection |
15 | Ben Wegbreit |
Goal-Directed Program Transformation. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Analysis of programs, Evaluation in context, Execution analysis, Program analysiss, APL, Program transformation, Generalization, Lisp, Compiler optimization, Partial evaluation, Simplification, List processing, Very high level language, Optimizing transformations |
15 | David B. Loveman |
Program Improvement by Source to Source Transformation. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation |
14 | Adrian Dumitrescu, Evan Hilscher |
Convexification of polygons by length preserving transformations. |
SCG |
2010 |
DBLP DOI BibTeX RDF |
edge-length preserving transformation, polygon convexification, discrete geometry |
14 | Wei Wang, Shangce Gao, Zheng Tang |
Improved pattern recognition with complex artificial immune system. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Complex artificial immune system, Transformation recognition, Pattern recognition, Immune response |
14 | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
XMI2USE: A Tool for Transforming XMI to USE Specifications. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
MDA, Model Transformation, OCL, USE, Modeling Tool, XMI |
14 | James R. Cordy |
Eating our own dog food: DSLs for generative and transformational engineering. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
source transformation systems, domain-specific languages, model driven engineering, generative programming |
14 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
14 | Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin |
Managing Model Adaptation by Precise Detection of Metamodel Changes. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
Adaptation, Model Transformation, Model-Driven Engineering |
14 | Alberto Pettorossi, Maurizio Proietti |
Totally correct logic program transformations via well-founded annotations. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming |
14 | Mikaël Rousson, Nikos Paragios |
Prior Knowledge, Level Set Representations & Visual Grouping. |
Int. J. Comput. Vis. |
2008 |
DBLP DOI BibTeX RDF |
Curve propagation, Pose estimation, Level set method, Distance transforms, Object extraction, Similarity transformation |
14 | Torben Æ. Mogensen |
Semi-inversion of functional parameters. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
semi-inversion, program transformation, inversion, higher-order functions |
14 | Yu Sun 0002, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeff Gray 0001 |
A Model Engineering Approach to Tool Interoperability. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
AMMA, Model Transformation, Domain-Specific Languages, Tool Interoperability, Model Engineering |
14 | Edgar Arce Santana, Alfonso Alba |
Image Registration Using Markov Random Coefficient Fields. |
IWCIA |
2008 |
DBLP DOI BibTeX RDF |
Intensity Transformation Function, Markov Random Fields, Image Registration, Bayesian Estimation |
14 | Zhigang Liu 0001, Qi Wang, Yajun Zhang |
Combining Multi Wavelet and Multi NN for Power Systems Load Forecasting. |
ISNN (2) |
2008 |
DBLP DOI BibTeX RDF |
Multiwavelet transformation, Combination load forecasting, Multi-neural networks, Power system, Chaotic time series |
14 | Suwen Zhang, Wanyin Deng, Dandan Miao |
A Feature Extraction Method Based on Wavelet Transform and NMFs. |
ISNN (1) |
2008 |
DBLP DOI BibTeX RDF |
Feature extraction, Face recognition, Wavelet transformation, NMFs |
14 | Olivier Danvy |
Defunctionalized interpreters for programming languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics |
14 | Timothy Bourke, Arcot Sowmya |
Automatically transforming and relating Uppaal models of embedded systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
timed trace inclusion, model transformation, Uppaal |
14 | Ozlem Bak |
An Evaluation of E-Business Impact in MNC's. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
e-transformation, Mc |
14 | Walter Dosch |
Coordinating Almost Synchronous Communication Streams. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine |
14 | Chu-Hsing Lin, Jung-Chun Liu, Chih-Hsiong Shih, Yan-Wei Lee |
A Robust Watermark Scheme for Copyright Protection. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
distributed discrete wavelet transformation, image attacks, watermark, singular value decomposition, copyright protection |
14 | Gang Yu |
Implementing Higher-Order Control in Java. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
FANF, transformation, exception handling, continuation |
14 | Chun Xue, Zili Shao, Edwin Hsing-Mean Sha |
Maximize Parallelism Minimize Overhead for Nested Loops via Loop Striping. |
J. VLSI Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
optimization, parallelism, loop transformation |
14 | Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen |
Prior-based Segmentation and Shape Registration in the Presence of Perspective Distortion. |
Int. J. Comput. Vis. |
2007 |
DBLP DOI BibTeX RDF |
prior-based segmentation, registration, level-sets, variational methods, homography, projective transformation |
14 | Lorenzo Sommaruga, Nadia Catenazzi |
Curriculum visualization in 3D. |
Web3D |
2007 |
DBLP DOI BibTeX RDF |
city metaphor, curriculum visualization, dynamic XSLT transformation, X3D |
14 | Eladio Domínguez, Jorge Lloret, Beatriz Pérez 0001, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata |
A Survey of UML Models to XML Schemas Transformations. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
Model Transformation, XML Schema, UML model |
14 | Boyuan Yan, Sheldon X.-D. Tan, Pu Liu, Bruce McGaughy |
Passive Interconnect Macromodeling Via Balanced Truncation of Linear Systems in Descriptor Form. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
moment-matching methods, passive interconnect macromodeling, descriptor form, passive model order reduction, projection-based truncated balanced realization method, large RLC interconnect circuits, Lur'e equation, algebraic Riccati equations, generalized Lyapunov equations, passivity preservation, congruence transformation, large scale interconnect circuit, linear systems, structure information, Krylov-subspace methods, block structure, balanced truncation |
14 | Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu |
Transforming Object-Oriented Models to Process-Oriented Models. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
Process model, model transformation, object model |
|
|