Search results for "nesting"

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