9405 search results - page 450 / 1881 » Computing a Model of Set Theory |
216
click to vote
CVPR
1997
IEEE
16 years 9 months ago
1997
IEEE
A framework for learning parameterized models of optical flow from image sequences is presented. A class of motions is represented by a set of orthogonal basis flow fields that ar...
205
click to vote
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
177
click to vote
COR
2008
15 years 7 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
200
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
235
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
We describe a framework for registering a group of images together using a set of non-linear diffeomorphic warps. The result of the groupwise registration is an implicit definition...