4930 search results - page 800 / 986 » Learning minimal abstractions |
178
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Cloud computing, the new trend for service infrastructures requires user multi-tenancy as well as minimal capital expenditure. In a cloud that services large amounts of d...
209
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
281
click to vote
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Graph cuts has emerged as a preferred method to solve a class of energy minimization problems in computer vision. It has been shown that graph cut algorithms designed kee...
190
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present different approaches to reconstructing an inextensible surface from point correspondences between an input image and a template image representing a flat refer...
202
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...