613 search results - page 100 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Face detection and tracking, through image sequences, are primary steps in many applications such as video surveillance, human computer interface, and expression analysis. Many cu...
SIGGRAPH
1993
ACM
13 years 11 months ago
1993
ACM
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...
ISTCS
1992
Springer
13 years 11 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
RSS
2007
13 years 9 months ago
2007
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...