Sciweavers

19130 search results - page 3372 / 3826
» Modelling multi-path problems
Sort
View
151
Voted
CLOR
2006
15 years 8 months ago
Shared Features for Multiclass Object Detection
Abstract. We consider the problem of detecting a large number of different classes of objects in cluttered scenes. We present a learning procedure, based on boosted decision stumps...
Antonio B. Torralba, Kevin P. Murphy, William T. F...
COLT
2006
Springer
15 years 8 months ago
Online Learning with Variable Stage Duration
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
Shie Mannor, Nahum Shimkin
CONCUR
2006
Springer
15 years 8 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
117
Voted
CP
2006
Springer
15 years 8 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
CVPR
2006
IEEE
15 years 8 months ago
Ultrasound-Specific Segmentation via Decorrelation and Statistical Region-Based Active Contours
Segmentation of ultrasound images is often a very challenging task due to speckle noise that contaminates the image. It is well known that speckle noise exhibits an asymmetric dis...
Gregory G. Slabaugh, Gozde B. Unal, Tong Fang, Mic...
« Prev « First page 3372 / 3826 Last » Next »