1146 search results - page 40 / 230 » Reconstructing Subsets of Reals |
CAINE
2010
13 years 9 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
FORMATS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
FM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
ICCV
2001
IEEE
15 years 27 days ago
2001
IEEE
We describe a reconstruction method of multiple motion scenes, which are the scenes containing multiple moving objects, from uncalibrated views. Assuming that the objects are movi...
SODA
2010
ACM
14 years 8 months ago
2010
ACM
We consider the problem of reconstructing a road network from a collection of path traces and provide guarantees on the accuracy of the reconstruction under reasonable assumptions...