13383 search results - page 337 / 2677 » Abstractions from proofs |
178
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This paper presents an approach to create topological maps from geometric maps obtained with a mobile robot in an indoor-environment using range data. Our approach util...
166
click to vote
GW
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
169
Voted
ICCSA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a new fast and local method of 3D surface reconstruction for scattered data. The algorithm makes use of quasiinterpolants to compute the control point...
163
click to vote
DIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. One of the most exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, i...
178
click to vote
AC
2003
Springer
16 years 14 hour ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...