Sciweavers

91 search results - page 15 / 19
» Combining Self-reducibility and Partial Information Algorith...
Sort
View
ECCV
2006
Springer
15 years 11 months ago
A Multiview Approach to Tracking People in Crowded Scenes Using a Planar Homography Constraint
Occlusion and lack of visibility in dense crowded scenes make it very difficult to track individual people correctly and consistently. This problem is particularly hard to tackle i...
Saad M. Khan, Mubarak Shah
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
AAAI
1994
14 years 10 months ago
An Approach to Multiply Segmented Constraint Satisfaction Problems
This paper describes an extension to the constraint satisfaction problem (CSP) approach called MUSE CSP (Multiply SEgmented Constraint Satisfaction Problem). This extension is esp...
Randall A. Helzerman, Mary P. Harper
NAACL
1994
14 years 10 months ago
Integrated Techniques for Phrase Extraction from Speech
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
Marie Meteer, Jan Robin Rohlicek
APIN
1998
132views more  APIN 1998»
14 years 9 months ago
Evolution-Based Methods for Selecting Point Data for Object Localization: Applications to Computer-Assisted Surgery
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
Shumeet Baluja, David Simon