304 search results - page 41 / 61 » A Multi-Context System Computing Modalities |
IPMU
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This contribution describes the system developed and implemented for the detection of snow based on the fusion of optical and Synthetic Aperture Radar (SAR) remote sensin...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
MIR
2010
ACM
14 years 2 months ago
2010
ACM
Vision-based user interfaces enable natural interaction modalities such as gestures. Such interfaces require computationally intensive video processing at low latency. We demonstr...
ICNC
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we introduce a system that synthesizes the emotional audio-visual speech for a 3-D talking agent by adopting the PAD (Pleasure-Arousal-Dominance) emotional model. A ...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...