580 search results - page 34 / 116 » An Efficient Implementation of an Active Set Method for SVMs |
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
CVPR
1999
IEEE
14 years 10 hour ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
AUTOMATICA
2010
13 years 7 months ago
2010
: A new iterative feedback/feedforward tuning (IFFT) method is presented for multiple-input multiple output (MIMO) control systems that relies on efficient computation of the negat...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...