2365 search results - page 341 / 473 » Computing a Representation of the Local Environment |
131
Voted
CLEAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Reliable measures of person positions are needed for computational perception of human activities taking place in a smart-room environment. In this work, we present the P...
116
Voted
ECAIW
2000
Springer
15 years 8 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
140
Voted
TABLEAUX
1995
Springer
15 years 8 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
122
click to vote
SIGMOD
1991
ACM
15 years 8 months ago
1991
ACM
In this paper, Dept. of Computer Science, University of Waterloo Waterloo, Ontario, Canada, N2L 3G1 we consider how to exploit multiple disks to improve the performance of B-tree ...
154
click to vote
CAIP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In autonomous indoor navigation some number of localizations and orientations of the vehicle can be learned in advance. No artificial landmarks are required to exist. We...