Sciweavers

3593 search results - page 562 / 719
» A Generative Model Based Approach to Motion Segmentation
Sort
View
132
Voted
ICRA
2000
IEEE
106views Robotics» more  ICRA 2000»
15 years 7 months ago
Toward Biomorphic Control Using Custom aVLSI CPG Chips
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...
M. Anthony Lewis, Ralph Etienne-Cummings, Avis H. ...
122
Voted
SCALESPACE
2009
Springer
15 years 10 months ago
Generic Scene Recovery Using Multiple Images
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
Kuk-Jin Yoon, Emmanuel Prados, Peter F. Sturm
ECCV
2004
Springer
16 years 5 months ago
An MCMC-Based Particle Filter for Tracking Multiple Interacting Targets
Abstract. We describe a Markov chain Monte Carlo based particle filter that effectively deals with interacting targets, i.e., targets that are influenced by the proximity and/or be...
Zia Khan, Tucker R. Balch, Frank Dellaert
158
Voted
CONCUR
1999
Springer
15 years 7 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
114
Voted
DAC
2003
ACM
16 years 4 months ago
Learning from BDDs in SAT-based bounded model checking
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Ya...