Sciweavers

1181 search results - page 206 / 237
» constraints 2004
Sort
View
COMPUTER
2004
100views more  COMPUTER 2004»
13 years 8 months ago
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bra...
CORR
2004
Springer
129views Education» more  CORR 2004»
13 years 8 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 8 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
CVIU
2004
96views more  CVIU 2004»
13 years 8 months ago
Image matching with scale adjustment
In this paper we address the problem of matching two images with two different resolutions: a high-resolution image and a low-resolution one. The difference in resolution between ...
Yves Dufournaud, Cordelia Schmid, Radu Horaud
CVPR
2004
IEEE
14 years 10 months ago
Learning Distance Functions for Image Retrieval
Image retrieval critically relies on the distance function used to compare a query image to images in the database. We suggest to learn such distance functions by training binary ...
Tomer Hertz, Aharon Bar-Hillel, Daphna Weinshall