Sciweavers

3918 search results - page 399 / 784
» Probabilistic model of triangulation
Sort
View
SAT
2005
Springer
162views Hardware» more  SAT 2005»
16 years 8 days ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
ECCV
2008
Springer
15 years 8 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
WACV
2012
IEEE
14 years 2 months ago
Simultaneous inference of activity, pose and object
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
Furqan M. Khan, Vivek Kumar Singh, Ram Nevatia
ECCV
2006
Springer
16 years 8 months ago
A Learning Based Approach for 3D Segmentation and Colon Detagging
Abstract. Foreground and background segmentation is a typical problem in computer vision and medical imaging. In this paper, we propose a new learning based approach for 3D segment...
Zhuowen Tu, Xiang Zhou, Dorin Comaniciu, Luca Bogo...
WSC
2008
15 years 9 months ago
Simulation and optimization for construction repetitive projects using promodel and simrunner
We introduce a new approach, called Relative Start and Idle Time (RSIT), to solve probabilistic scheduling problems of construction repetitive projects. RSIT is a process of deter...
Chachrist Srisuwanrat, Photios G. Ioannou, Omer Ts...