2580 search results - page 226 / 516 » Systems for human-powered mobile computing |
146
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we investigate the use of high resolution aerial LADAR data for autonomous mobile robot navigation in natural environments. The use of prior maps from aerial LADAR ...
161
Voted
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
150
Voted
ICDCSW
2000
IEEE
15 years 9 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
175
click to vote
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
172
click to vote
JIFS
2007
15 years 6 months ago
2007
Anomaly detection is a pattern recognition task whose goal is to report the occurrence of abnormal or unknown behavior in a given system being monitored. In this paper we propose a...