Search results for "AST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
14	Hong-Ren Chen	An Evaluation of Concurrency Control Protocols for Web Services Oriented E-Commerce.	DASFAA	2006	DBLP DOI BibTeX RDF
14	Love P. Kalra, Weimin Shen, Jason Jianjun Gu	A Wall Climbing Robotic System for Non Destructive Inspection of Above Ground Tanks.	CCECE	2006	DBLP DOI BibTeX RDF
14	Takao Doi, Hirofumi Yamamoto, Eiichiro Sumita	Example-based machine translation using efficient sentence retrieval based on edit-distance.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	example retrieval, edit-distance, A* search, Example-based machine translation, word graph
14	Tatsunori Mori	Japanese question-answering system using A* search and its improvement.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	dependency vectors, pseudo voting method, sentence chaining, question answering, A* search
14	Lingyun Qiu, Izak Benbasat	An investigation into the effects of Text-To-Speech voice and 3D avatars on the perception of presence and flow of live help in electronic commerce.	ACM Trans. Comput. Hum. Interact.	2005	DBLP DOI BibTeX RDF	live help, Electronic commerce, avatar, customer relationship management (CRM), telepresence, flow, social presence, text-to-speech
14	Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald	Frontier search.	J. ACM	2005	DBLP DOI BibTeX RDF	bidirectional search, sliding-tile puzzles, heuristic search, sequence alignment, Dijkstra's algorithm, breadth-first search, best-first search, A* algorithm, Towers of Hanoi
14	Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001	A framework for systematic validation and debugging of pipeline simulators.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures
14	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	XML, Type systems, subtyping
14	Minos N. Garofalakis, Amit Kumar 0001	XML stream processing using tree-edit distance embeddings.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	metric-space embeddings, XML, data streams, approximate query processing, tree-edit distance, data synopses
14	Zhen He, Byung Suk Lee 0001, Robert R. Snapp	Self-tuning cost modeling of user-defined functions in an object-relational DBMS.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	query optimization, cost modeling, K-nearest neighbors, quadtree, self-tuning, object relational DBMS
14	Jens Dietrich 0001, Chris Elgar	A Formal Description of Design Patterns Using OWL.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	software design theory, automated pattern detection, semantic web, object-oriented programming, design patterns, web ontologies
14	Xiaoqing Wu, Suman Roychoudhury, Barrett R. Bryant, Jeffrey G. Gray, Marjan Mernik	A two-dimensional separation of concerns for compiler construction.	SAC	2005	DBLP DOI BibTeX RDF	pattern transformation, compiling, aspect-oriented programming, separation of concerns
14	Katsuhisa Maruyama, Shinichiro Yamamoto	Design and Implementation of an Extensible and Modifiable Refactoring Tool.	IWPC	2005	DBLP DOI BibTeX RDF
14	Yijun Yu, Kristof Beyls, Erik H. D'Hollander	Performance Visualizations using XML Representations.	IV	2004	DBLP DOI BibTeX RDF	XML, intermediate representations, performance visualizations
14	Donald P. Pazel, Pradeep Varma, Amit M. Paradkar, Beth Tibbitts, Ashok Anand, Philippe Charles	A Framework and Tool for Porting Assessment and Remediation.	ICSM	2004	DBLP DOI BibTeX RDF
14	Li Qin, Vijayalakshmi Atluri	An Access Scheduling Tree to Achieve Optimal Freshness in Local Repositories.	EC-Web	2003	DBLP DOI BibTeX RDF
14	Kaoru Kurosawa, Tetsu Iwata	TMAC: Two-Key CBC MAC.	CT-RSA	2003	DBLP DOI BibTeX RDF	block cipher, provable security, CBC MAC
14	Larry J. Stockmeyer, Albert R. Meyer	Cosmological lower bound on the circuit complexity of a small problem in logic.	J. ACM	2002	DBLP DOI BibTeX RDF	WS1S, practical undecidability, computational complexity, lower bound, logic, Circuit complexity, decision problem
14	Frédéric Peschanski	A Versatile Event-Based Communication Model for Generic Distributed Interactions.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Asynchronous computation models, Publish/Subscribe protocols, Dynamic adaptability, Event-Based Systems
14	M. D. Salim, Tim Strauss, Michael Emch	A GIS-Integrated Intelligent System for Optimization of Asset Management for Maintenance of Roads and Bridges.	IEA/AIE	2002	DBLP DOI BibTeX RDF
14	Ioannis Chatzigiannakis, Sotiris E. Nikoletseas, Paul G. Spirakis	Smart dust protocols for local detection and propagation.	POMC	2002	DBLP DOI BibTeX RDF	local detection, smart dust, sensor networks, propagation, average case analysis
14	Wolfgang Lehner, Roberta Cochrane, Hamid Pirahesh, Markos Zaharioudakis	fAST Refresh using Mass Query Optimization.	ICDE	2001	DBLP DOI BibTeX RDF
14	Viliam Geffert	Space Hierarchy Theorem Revised.	MFCS	2001	DBLP DOI BibTeX RDF	Computational complexity, Space complexity
14	Alan L. Yuille, James M. Coughlan	Fundamental Limits of Bayesian Inference: Order Parameters and Phase Transitions for Road Tracking.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Bayesian inference, phase transitions, curve tracking
14	Gilles Barthe, Bernard P. Serpette	Static Reduction Analysis for Imperative Object Oriented Languages.	LPAR	2000	DBLP DOI BibTeX RDF
14	Bhaskar D. Rao, Kenneth Kreutz-Delgado	An affine scaling methodology for best basis selection.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
14	Ladan Tahvildari, Richard Gregory 0002, Kostas Kontogiannis	An Approach for Measuring Software Evolution Using Source Code Features.	APSEC	1999	DBLP DOI BibTeX RDF	software architecture, reverse engineering, software maintenance, software metrics, software evolution
14	Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy	Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation.	DAC	1998	DBLP DOI BibTeX RDF	PowerPC
14	James Baldo Jr., James Moore, David Rine	Software reuse standards.	ACM Stand.	1997	DBLP DOI BibTeX RDF
14	Takao Miura, Isamu Shioya	Mining Type Schemes in Databases.	DEXA	1996	DBLP DOI BibTeX RDF	Type Schemes, UNIFY algorithm, Scheme Evolution, Data Mining, Knowledge-Based Systems, Knowledge Acquisition
14	Glenn S. Fowler, David G. Korn, Kiem-Phong Vo	Principles for Writing Reusable Libraries.	SSR	1995	DBLP DOI BibTeX RDF