Sciweavers

368 search results - page 41 / 74
» The Role of Verification in Interactive Systems Design
Sort
View
CARS
2001
13 years 9 months ago
Design of a neurosurgical procedure model for multimodal image-guided surgery
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
Pierre Jannin, M. Raimbault, Xavier Morandi, E. Se...
CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 7 months ago
Multimodal Meaning Representation for Generic Dialogue Systems Architectures
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
Frédéric Landragin, Alexandre Denis,...
ATAL
2003
Springer
13 years 11 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
ICFEM
1997
Springer
13 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ACMDIS
2006
ACM
14 years 1 months ago
The history tablecloth: illuminating domestic activity
The History Tablecloth is a flexible substrate screen-printed with electroluminescent material forming a grid of lace-like elements. When objects are left on the table, cells bene...
William W. Gaver, John Bowers, Andy Boucher, Andy ...