Sciweavers

3062 search results - page 587 / 613
» A Language Modeling Approach for Temporal Information Needs
Sort
View
CHI
2009
ACM
14 years 9 months ago
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...
Scott S. Snibbe, Hayes Raffle
CALCO
2009
Springer
166views Mathematics» more  CALCO 2009»
14 years 3 months ago
Distributive Lattice-Structured Ontologies
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
Hans Bruun, Dion Coumans, Mai Gehrke
CC
2004
Springer
110views System Software» more  CC 2004»
14 years 2 months ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
ECAI
2006
Springer
14 years 15 days ago
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
Tilman Becker, Nate Blaylock, Ciprian Gerstenberge...
FMCAD
2000
Springer
14 years 13 days ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang