2989 search results - page 220 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
142
Voted
ACSW
2004
15 years 4 months ago
2004
This paper describes an approach to the use of gradient descent search in genetic programming (GP) for object classification problems. In this approach, pixel statistics are used ...
110
click to vote
CP
1995
Springer
15 years 6 months ago
1995
Springer
We present a method for finding optimal partial solutions to overconstrained instances of the Disjunctive Temporal Problems (DTP). The solutions are optimal in that they satisfy ...
143
Voted
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
Robust, real-time tracking of objects from visual data requires probabilistic fusion of multiple visual cues. Previous approaches have either been ad hoc or relied on a Bayesian n...
117
Voted
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
Accurate quantification of total body and the distribution of regional adipose tissue using manual segmentation is a challenging problem due to the high variation between manual de...
104
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...