4460 search results - page 204 / 892 » Formal methods for interactive systems |
191
click to vote
AAAI
1993
15 years 5 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
141
click to vote
HAPTICS
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...
149
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Content-based image retrieval systems still have difficulties to bridge the semantic gap between the low-level representation of images and the high level concepts the user is loo...
140
click to vote
ISMAR
2007
IEEE
15 years 10 months ago
2007
IEEE
Many Augmented Reality (AR) applications use marker-based vision tracking systems to recover camera pose by detecting one or more planar landmarks. However, most of these systems ...
123
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...