Sciweavers

144 search results - page 15 / 29
» Managing Latency in Complex Augmented Reality Systems
Sort
View
UIST
2004
ACM
14 years 29 days ago
A toolkit for managing user attention in peripheral displays
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
Tara Matthews, Anind K. Dey, Jennifer Mankoff, Sco...
ESM
2000
13 years 9 months ago
The simulation of business rules in active databases using expert system approach
A very active field of research of Database Management Systems (DBMS) is concerned with an augmentation of DBMS by rules. Passive rules (constraints) were the first to be investig...
Ivan Bruha, Frantisek Franek, Vladimir L. Rosicky
NFM
2011
264views Formal Methods» more  NFM 2011»
13 years 2 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
ICMI
2004
Springer
196views Biometrics» more  ICMI 2004»
14 years 28 days ago
Evaluation of spoken multimodal conversation
Spoken multimodal dialogue systems in which users address faceonly or embodied interface agents have been gaining ground in research for some time. Although most systems are still...
Niels Ole Bernsen, Laila Dybkjær
VVG
2003
205views Computer Vision» more  VVG 2003»
13 years 9 months ago
Digitisation to Presentation -  Building Virtual Museum Exhibitions
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...
Manjula Patel, Martin White, Krzysztof Walczak, Pa...