1523 search results - page 224 / 305 » Partially ordered secretaries |
KI
2004
Springer
15 years 6 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
110
Voted
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
111
Voted
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
136
Voted
PARA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
83
Voted
3DIM
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses a registration refinement problem and presents an accurate and fast Point-to-(Tangent) Plane technique. Point-to-Plane approach is known to be very accurate ...