Sciweavers

859 search results - page 153 / 172
» Abduction in Temporal Reasoning
Sort
View
IWINAC
2005
Springer
14 years 1 months ago
Spatial navigation based on novelty mediated autobiographical memory
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....
Emilia I. Barakova, Tino Lourens
ICMI
2004
Springer
152views Biometrics» more  ICMI 2004»
14 years 1 months ago
Exploiting prosodic structuring of coverbal gesticulation
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
Sanshzar Kettebekov
ECCV
2010
Springer
14 years 1 months ago
Programmable Aperture Camera Using LCoS
Since 1960s, aperture patterns have been studied extensively and a variety of coded apertures have been proposed for various applications, including extended depth of field, defocu...
Hajime Nagahara, Changyin Zhou, Takuya Watanabe, H...
LICS
2003
IEEE
14 years 28 days ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais
LICS
2003
IEEE
14 years 28 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska