4084 search results - page 211 / 817 » Constraints in spatial structures |
243
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
212
click to vote
CVPR
1996
IEEE
16 years 9 months ago
1996
IEEE
This paper addresses the problem of recognizing objects in large image databases. The method is based on local characteristics which are invariant to simzlarity transformations in...
167
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a probabilistic framework for correspondence and egomotion. First, we suggest computing probability distributions of correspondence. This has the advantage of being rob...
152
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
218
Voted
INTELLCOMM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...