14190 search results - page 2499 / 2838 » Abstractions for hybrid systems |
218
click to vote
CLOR
2006
15 years 11 months ago
2006
Abstract. Many applications of 3D object recognition, such as augmented reality or robotic manipulation, require an accurate solution for the 3D pose of the recognized objects. Thi...
256
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
209
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
223
click to vote
DAGM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
216
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...