4767 search results - page 716 / 954 » Structures for Abstract Rewriting |
104
Voted
ROBOCUP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
98
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
103
click to vote
SLSFS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Matrix factorization is a fundamental building block in many computer vision and machine learning algorithms. In this work we focus on the problem of ”structure from mo...
139
Voted
TGC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
117
Voted
VLSM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a novel technique to address motion estimation and tracking. Such technique represents the motion field using a regular grid of thin-plate spli...