Sciweavers

834 search results - page 52 / 167
» A Model-Based Approach for Engineering Multimodal Interactiv...
Sort
View
TACS
1997
Springer
14 years 1 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
VLDB
2007
ACM
190views Database» more  VLDB 2007»
14 years 9 months ago
Request Window: an Approach to Improve Throughput of RDBMS-based Data Integration System by Utilizing Data Sharing Across Concur
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...
Rubao Lee, Minghong Zhou, Huaming Liao
IUI
2006
ACM
14 years 2 months ago
Interactive multimedia summaries of evaluative text
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
Giuseppe Carenini, Raymond T. Ng, Adam Pauls
UAI
2000
13 years 10 months ago
Conversation as Action Under Uncertainty
Conversations abound with uncertainties of various kinds. Treating conversation as inference and decision making under uncertainty, we propose a task independent, multimodal archi...
Tim Paek, Eric Horvitz
WWW
2007
ACM
14 years 9 months ago
Ontology engineering using volunteer labor
We describe an approach designed to reduce the costs of ontology development through the use of untrained, volunteer knowledge engineers. Results are provided from an experiment i...
Benjamin M. Good, Mark D. Wilkinson