2610 search results - page 476 / 522 » The Recognition Strategy Language |
ICLP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
We demonstrate a same-time different-place collaboration system for managing crisis situations using geospatial information. Our system enables distributed spatial decision-making...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
We present a generic approach to multimodal fusion which we call context based multimodal integration. Key to this approach is that every multimodal input event is interpreted and...
ICTAC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...