940 search results - page 46 / 188 » Local rely-guarantee reasoning |
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ï¬...
IUI
1997
ACM
14 years 2 months ago
1997
ACM
Plan recognition in direct manipulation interfaces must deal with the problem that the information obtained is of low quality with respect to the plan recognition task. There are ...
AAAI
2007
14 years 7 days ago
2007
We consider problems of geometric exploration and selfdeployment for simple robots that can only sense the combinatorial (non-metric) features of their surroundings. Even with suc...
CBMS
2008
IEEE
13 years 12 months ago
2008
IEEE
In the real world concepts are often not stable but change over time. A typical example of this in the biomedical context is antibiotic resistance, where pathogen sensitivity may ...
ICMCS
2010
IEEE
13 years 11 months ago
2010
IEEE
High Dynamic Range (HDR) images can represent the acquired scene with a greater dynamic range of luminance than classical Low Dynamic Range (LDR) ones. Despite the recent diffusio...