Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Adrián Riesco 0001, Alberto Verdejo |
Distributed Applications Implemented in Maude with Parameterized Skeletons. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
distributed applications, parameterization, Maude, Algorithmic skeletons |
10 | Teng Lv, Ping Yan |
Schema Conversion from Relation to XML with Semantic Constraints. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hyun-Joo Moon, Jae-Woo Yoo, Jongmyung Choi |
An Effective Detection Method for Clustering Similar XML DTDs Using Tag Sequences. |
ICCSA (2) |
2007 |
DBLP DOI BibTeX RDF |
Tag Sequences, Ontology, XML, DTD, Similarity Detection |
10 | Cong Zhang, Amol Bakshi, Viktor K. Prasanna |
ModelML: a Markup Language for Automatic Model Synthesis. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Kwanghoon Pio Kim, Clarence A. Ellis |
sigma - Algorithm : Structured Workflow Process Mining Through Amalgamating Temporal Workcases. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
Process Rediscovery, Temporal Workcase, Workflow Process Mining Framework, Workflow Management System, Workflow Mining, Events Log |
10 | Gill Barequet, Amir Vaxman |
Nonlinear interpolation between slices. |
Symposium on Solid and Physical Modeling |
2007 |
DBLP DOI BibTeX RDF |
Gregory patches, interpolation between slices, parallel cross-sections, vertex matching, surface reconstruction, G1-continuity |
10 | Keisuke Tateno, Itaru Kitahara, Yuichi Ohta |
A Nested Marker for Augmented Reality. |
VR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Robert Miner, Rajesh Munavalli |
An Approach to Mathematical Search Through Query Formulation and Data Normalization. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jaijeet S. Roychowdhury, Robert C. Melville |
Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ho-sik Cho, Taekyoung Kwon 0001, Yanghee Choi |
Route Optimization Using Tree Information Option for Nested Mobile Networks. |
IEEE J. Sel. Areas Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Richard Gault, Iain A. Stewart |
An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Huiyong Xiao, Isabel F. Cruz |
Integrating and Exchanging XML Data Using Ontologies. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jiang Li 0001, Michael T. Manry, Pramod Lakshmi Narasimha, Changhua Yu |
Feature Selection Using a Piecewise Linear Network. |
IEEE Trans. Neural Networks |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jan-Marco Bremer, Michael Gertz 0001 |
Integrating document and data retrieval based on XML. |
VLDB J. |
2006 |
DBLP DOI BibTeX RDF |
Integrated information retrievals, XML, Document retrieval, Index structures, Structural join, Data retrieval |
10 | Yuri Engelhardt |
Objects and Spaces: The Visual Language of Graphics. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ralph-Johan Back |
Invariant Based Programming. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Xin Li 0020, Reinhard von Hanxleden |
A concurrent reactive Esterel processor based on multi-threading. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
multithreading, processor architecture, synchronous languages, esterel |
10 | JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, Christos Kozyrakis, Kunle Olukotun |
The common case transactional behavior of multithreaded programs. |
HPCA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Richard Banach, Marco Bozzano |
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Beyer, Alexander Sánchez, Francesc D. Muñoz-Escoí, Pablo Galdámez |
DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Andreas Stefik, Kelly Fitz, Roger T. Alexander |
Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
sonified debugging, layered program auralization, testing, Fault detection, music |
10 | Hidekazu Kubota, Toyoaki Nishida, Yasuyuki Sumi |
Visualization of Contents Archive by Contour Map Representation. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Simon Gauvin, Omid Banyasad |
Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages. |
SOFTVIS |
2006 |
DBLP DOI BibTeX RDF |
HCI, visual language, data flow, control flow, control structures |
10 | Sven Hartmann, Sebastian Link |
Horn clauses and functional dependencies in complex-value databases. |
ADC |
2006 |
DBLP BibTeX RDF |
logic in databases, functional dependency, Horn clause, complex values, implication problem |
10 | Sihem Amer-Yahia, Emiran Curtmola, Alin Deutsch |
Flexible and efficient XML search with complex full-text predicates. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
XML text search, text predicates, full-text search |
10 | Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davidson |
Towards a Model of Provenance and User Views in Scientific Workflows. |
DILS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Timothy M. McPhillips, Shawn Bowers, Bertram Ludäscher |
Collection-Oriented Scientific Workflows for Integrating and Analyzing Biological Data. |
DILS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Abdullah Uz Tansel, Canan Eren Atay |
Nested Bitemporal Relational Algebra. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret |
Stratified Context Unification Is NP-Complete. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun |
The Atomos transactional programming language. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
conditional synchronization, java, transactional memory, multiprocessor architecture |
10 | Lucia Acciai, Michele Boreale |
Responsiveness in Process Calculi. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin Buffereau, Philippe Picouet |
STIL: An Extended Resource Description Framework and an Advanced Query Language for Metadatabases. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ki-Hoon Lee, Seoyoung Kim 0002, Euijong Whang, Jae-Gil Lee 0001 |
A Practitioner's Approach to Normalizing XQuery Expressions. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
10 | Jungwook Song, Sunyoung Han, Kiyong Park |
Route Optimization in NEMO Environment with Limited Prefix Delegation Mechanism. |
International Conference on Computational Science (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Éric Tanter |
Aspects of Composition in the Reflex AOP Kernel. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Filip Ginter, Sampo Pyysalo, Jorma Boberg, Tapio Salakoski |
Regular Approximation of Link Grammar. |
FinTAL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Fred Karlsson |
Recursion in Natural Languages. |
FinTAL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tomás Bures, Petr Hnetynka, Frantisek Plásil |
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yunkuk Kim, Sinam Woo, Sangwook Kang, Woojin Park, Sunshin An |
Local Source Routing Based Route Optimization in Nested Mobile Networks. |
ICCSA (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Paul B. Stanley, Arthur I. Karshmer |
Translating MathML into Nemeth Braille Code. |
ICCHP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Huang Hexiao, Qin Zheng, Guo Junwen |
Implementation of streamed multimedia integrated courseware. |
MMM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sven Hartmann, Sebastian Link |
The Nested List Normal Form for Functional and Multivalued Dependencies. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Qing Xie 0003, Atif M. Memon |
Model-Based Testing of Community-Driven Open-Source GUI Applications. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yunyao Li 0001, Huahai Yang, H. V. Jagadish |
Constructing a Generic Natural Language Interface for an XML Database. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Orna Kupferman, Moshe Y. Vardi |
From linear time to branching time. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
alternation-free ?-calculus, Linear temporal logic |
10 | Igor Walukiewicz |
Difficult Configurations-On the Complexity of LTrL. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
verification, temporal logics, trace theory |
10 | Massimo Merro, Francesco Zappa Nardelli |
Behavioral theory for mobile ambients. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Behavioral theories, concurrency, programming languages, bisimulation, process calculi |
10 | Cristina Adela Popescu, Yau Shu Wong |
Nested Monte Carlo EM Algorithm for Switching State-Space Models. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
machine learning, Markov processes, Kalman filtering, Monte Carlo simulation, Time series analysis, probabilistic algorithms, parameter learning |
10 | Patrick Bosc, Olivier Pivert |
About projection-selection-join queries addressed to possibilistic relational databases. |
IEEE Trans. Fuzzy Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
A General Name Binding Mechanism. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ken Q. Pu, Alberto O. Mendelzon |
Typed functional query languages with equational specifications. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
functional query languages, type system, OLAP, equational logic |
10 | Dean Kuo, Mark McKeown |
Advance Reservation and Co-Allocation Protocol for Grid Computing. |
e-Science |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Maged El-Sayed, Elke A. Rundensteiner, Murali Mani |
Incremental Fusion of XML Fragments Through Semantic Identifiers. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Theoretical foundations for compensations in flow composition languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
process description languages, transactions, compensations |
10 | Roberto San José García, Juan L. Pérez, Rosa M. González Barras |
The Use of MM5-CMAQ for an Incinerator Air Quality Impact Assessment for Metals, PAH, Dioxins and Furans: Spain Case Study. |
LSSC |
2005 |
DBLP DOI BibTeX RDF |
Industrial air quality impact, MM5, CMAQ, air quality forecasts, software tools |
10 | Minoru Terada |
ETV: a program trace player for students. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
program visualization, execution trace |
10 | Kwang Chul Jeong, Tae-Jin Lee 0001, Hyunseung Choo |
Dual Binding Update with Additional Care of Address in Network Mobility. |
MSN |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yunyao Li 0001, Huahai Yang, H. V. Jagadish |
NaLIX: an interactive natural language interface for querying XML. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rong Liu, Akhil Kumar 0001 |
An Analysis and Taxonomy of Unstructured Workflows. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Graham Cormode, S. Muthukrishnan 0001 |
Space efficient mining of multigraph streams. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Gang Ma 0011, Hongxin Li, Kun Luo |
Application of clustering in regional economy. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
hierarchical methods of clustering, clustering, distance, differentiation |
10 | Jose Renau, James Tuck 0001, Wei Liu 0014, Luis Ceze, Karin Strauss, Josep Torrellas |
Tasking with out-of-order spawn in TLS chip multiprocessors: microarchitecture and compilation. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Maurizio Pizzonia |
Minimum Depth Graph Embeddings and Quality of the Drawings: An Experimental Analysis. |
GD |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Anne Benoit, Murray Cole |
Two Fundamental Concepts in Skeletal Parallel Programming. |
International Conference on Computational Science (2) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jianfeng Yin, Zhengxing Sun |
An Online Multi-stroke Sketch Recognition Method Integrated with Stroke Segmentation. |
ACII |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Kerawit Somchaipeng, Jon Sporring, Sven Kreiborg, Peter Johansen |
Multi-scale Singularity Trees: Soft-Linked Scale-Space Hierarchies. |
Scale-Space |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Cesare Pautasso |
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jungwook Song, Sunyoung Han, Bok-Gyu Joo, Jinpyo Hong |
Route Optimization in Nested Mobile Network Using Direct Tunneling Method. |
ICOIN |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Charles Lakos |
A Petri Net View of Mobility. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Michel Couvreur, Yann Thierry-Mieg |
Hierarchical Decision Diagrams to Exploit Model Structure. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Antonín Kucera 0001, Jan Strejcek |
Characteristic Patterns for LTL. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Naranker Dulay, Emil C. Lupu, Morris Sloman, Joe Sventek, Nagwa L. Badr, Steven Heeps |
Self-managed Cells for Ubiquitous Systems. |
MMM-ACNS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong |
The design and application of structured types in Ptolemy II. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Berk Sunar |
A Generalized Method for Constructing Subquadratic Complexity GF(2^k) Multipliers. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001 |
Improving Data Locality by Array Contraction. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
array contraction, loop shifting, optimization, performance, Compiler, memory, optimizing compilers, data locality |
10 | Francisco Morán, Narciso García |
Comparison of wavelet-based three-dimensional model coding techniques. |
IEEE Trans. Circuits Syst. Video Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Zhiyuan Li 0001, Yonghong Song |
Automatic tiling of iterative stencil loops. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Caches, optimizing compilers, loop transformations |
10 | Chang Huang, Bo Wu 0001, Haizhou Ai, Shihong Lao |
Omni-directional face detection based on real adaboost. |
ICIP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Paul Feautrier |
Scalable and Modular Scheduling. |
SAMOS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Anthony Chiu Wa Lo, Reda Alhajj, Ken Barker 0001 |
Flexible User Interface for Converting Relational Data into XML. |
FQAS |
2004 |
DBLP DOI BibTeX RDF |
XML, relational database, graphical user interface, data conversion, visual query language |
10 | Maria Izabel Menezes Azevedo, Lucas Pantuza Amorim, Nivio Ziviani |
A Universal Model for XML Information Retrieval. |
INEX |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Wöhrle, Wolfgang Thomas |
Model Checking Synchronized Products of Infinite Transition Systems. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Phuong Nguyen, Stephen A. Cook |
VTC circ: A Second-Order Theory for TCcirc. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | David Fang, Rajit Manohar |
Non-Uniform Access Asynchronous Register Files. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Yunsheng Liu, Hao Zhong, Yi Wang |
Capturing XML Constraints with Relational Schema. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | M. R. K. Krishna Rao |
Inductive Inference of Term Rewriting Systems from Positive Data. |
ALT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Eugene Kindler |
SIMULA and Super-Object-Oriented Programming. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sukhamay Kundu |
A Modern Graphic Flowchart Layout Tool. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Martín Abadi, Georges Gonthier, Benjamin Werner |
Choice in Dynamic Linking. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Millist W. Vincent, Jixue Liu, Chengfei Liu |
Redundancy Free Mappings from Relations to XML. |
WAIM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Anne Millet, Zoubir Mammeri |
Delay bound Guarantees with WFQ-based CBQ discipline. |
IWQoS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Eduard Ayguadé, Marc González 0001, Xavier Martorell, Gabriele Jost |
Employing Nested OpenMP for the Parallelization of Multi-Zone Computational Fluid Dynamics Applications. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Eric Fernandes, Amruth N. Kumar |
A tutor on scope for the programming languages course. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
evaluation, tutor, scope |
10 | Mathias Thomas Bessey |
Implementation of on-line simulation with the colored Petri net simulator RENEW. |
SMC (6) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Anne Millet, Zoubir Mammeri |
Packet Delay Analysis under Class Based Queueing. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih 0001, Chang-Gun Lee, Lui Sha |
Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hamish A. Carr, Jack Snoeyink, Michiel van de Panne |
Simplifying Flexible Isosurfaces Using Local Geometric Measures. |
IEEE Visualization |
2004 |
DBLP DOI BibTeX RDF |
Isosurfaces, topological simplification, contour trees |
10 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
10 | Bo Wu 0001, Haizhou Ai, Chang Huang, Shihong Lao |
Fast Rotation Invariant Multi-View Face Detection Based on Real Adaboost. |
FGR |
2004 |
DBLP DOI BibTeX RDF |
|