Sciweavers

2415 search results - page 406 / 483
» Markov Processes on Curves
Sort
View
HYBRID
2007
Springer
14 years 2 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
ICMI
2007
Springer
215views Biometrics» more  ICMI 2007»
14 years 2 months ago
Visual inference of human emotion and behaviour
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
Shaogang Gong, Caifeng Shan, Tao Xiang
ROBOCUP
2007
Springer
99views Robotics» more  ROBOCUP 2007»
14 years 2 months ago
Instance-Based Action Models for Fast Action Planning
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
Mazda Ahmadi, Peter Stone
WABI
2007
Springer
110views Bioinformatics» more  WABI 2007»
14 years 2 months ago
Haplotype Inference Via Hierarchical Genotype Parsing
The within-species genetic variation due to recombinations leads to a mosaic-like structure of DNA. This structure can be modeled, e.g. by parsing sample sequences of current DNA w...
Pasi Rastas, Esko Ukkonen
CGI
2006
IEEE
14 years 2 months ago
A Video-Driven Approach to Continuous Human Motion Synthesis
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...
Rongrong Wang, Xianjie Qiu, Zhaoqi Wang, Shihong X...