940 search results - page 36 / 188 » Local rely-guarantee reasoning |
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
Segmentation of surgical devices in fluoroscopic images and in particular of guide-wires is a valuable element during surgery. In cardiac angioplasty, the problem is particularly ...
ICML
2007
IEEE
14 years 10 months ago
2007
IEEE
We introduce a mixture of probabilistic canonical correlation analyzers model for analyzing local correlations, or more generally mutual statistical dependencies, in cooccurring d...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
The major themes of our research include the creation of mobile robot systems that are robust and adaptive in rapidly changing environments and the view of integration as a basic ...
CP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
AAAI
2004
13 years 11 months ago
2004
The search for finite-state controllers for partially observable Markov decision processes (POMDPs) is often based on approaches like gradient ascent, attractive because of their ...