224 search results - page 29 / 45 » Constraint Reasoning with Uncertain Data Using CDF-Intervals |
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new stereo matching algorithm based on inter-regional cooperative optimization. The proposed algorithm uses regions as matching primitives and defines the co...
GIS
1999
ACM
15 years 1 months ago
1999
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
AGP
1995
IEEE
15 years 1 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
There are a large number of websites serving valuable content that can be used by higher-level applications, Web Services, Mashups etc. Yet, due to various reasons (lack of comput...