2509 search results - page 320 / 502 » Abstract Geometrical Computation and Computable Analysis |
176
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
180
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
141
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Choosing the right feature for motion based activity spotting is not a trivial task. Often, features derived by intuition or that proved to work well in previous work ar...
173
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Eucalyptus, OpenNebula and Nimbus are three major open-source cloud-computing software platforms. The overall function of these systems is to manage the provisioning of virtual ma...
180
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— We present and examine a technique for estimating the ego-motion of a mobile robot using memory-based learning and a monocular camera. Unlike other approaches that rely...