81 search results - page 4 / 17 » 06401 Abstracts Collection - Complexity of Constraints |
DPC
1996
13 years 8 months ago
1996
Retrieving images from very large collections, using image content as a key, is becoming an important problem. Users prefer to ask for pictures using notions of content that are st...
BIOWIRE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract—One of the challenges in a military wireless sensor network is the determination of an information collection infrastructure which minimizes battery power consumption. T...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes a novel and efficient feature-point matching algorithm for finding point correspondences between two uncalibrated images. The striking feature of th...