2476 search results - page 258 / 496 » Model Selection and Error Estimation |
158
Voted
ENTCS
2007
15 years 3 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
104
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
When assessing reported classification results based on selection of members from a database (e.g. a face database), one would like to know what is an achievable classification ra...
131
Voted
RSS
2007
2007
Simultaneous Localisation and Mapping in Dynamic Environments (SLAMIDE) with Reversible Data Associa
15 years 5 months ago
Abstract— The conventional technique for dealing with dynamic objects in SLAM is to detect them and then either treat them as outliers [20][1] or track them separately using trad...
128
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
93
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an approach to model the background of images in a video sequence based on subpixel edge map. This work is motivated by the observation that intensity based background ...