2032 search results - page 306 / 407 » Encodings of the Sequence Constraint |
161
click to vote
VMCAI
2007
Springer
16 years 11 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
166
click to vote
CVPR
2006
IEEE
16 years 10 days ago
2006
IEEE
We propose a method for recovering the affine geometry of a dynamically textured plane from a video sequence taken by an uncalibrated, fixed, perspective camera. Some instances ...
183
click to vote
ECBS
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
164
click to vote
HICSS
2006
IEEE
16 years 10 days ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
162
click to vote
ICPR
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper, we propose a learning-based method for video super-resolution. There are two main contributions of the proposed method. First, information from cameras with differe...