4584 search results - page 565 / 917 » Sequential parameter optimization |
211
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
215
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
310
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
A large number of problems in computer vision can be modeled as energy minimization problems in a markov random field (MRF) framework. Many methods have been developed over the y...
147
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Based on scaling laws describing the statistical structure
of turbulent motion across scales, we propose a multiscale
and non-parametric regularizer for optic-flow estimation.
R...
176
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Coronary Heart Disease can be diagnosed by assessing the regional motion of the heart walls in ultrasound images of the left ventricle. Even for experts, ultrasound images are dif...