4355 search results - page 641 / 871 » From Interpretation to Compilation |
140
Voted
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
157
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
This paper deals with the computation of optical flow and occlusion detection in the case of large displacements. We propose a Bayesian approach to the optical flow problem and s...
134
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
We propose an architecture for a real-time multimodal system, which provides non-contact, adaptive user interfacing for Computer-Assisted Surgery (CAS). The system, called M/ORIS ...
153
Voted
ICMI
2004
Springer
15 years 11 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...
124
Voted
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, I would like to introduce my experimental study of multimedia psychology. My initial focus of investigation is the interaction between perceptions of auditory and v...