Sciweavers

8492 search results - page 1408 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ICDAR
2003
IEEE
15 years 12 months ago
Towards Automatic Video-based Whiteboard Reading
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
Markus Wienecke, Gernot A. Fink, Gerhard Sagerer
TPHOL
2003
IEEE
15 years 12 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
VISUALIZATION
2003
IEEE
15 years 12 months ago
Visualizing Spatial and Temporal Variability in Coastal Observatories
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
Walter Jiménez, Wagner Toledo Corrêa,...
FSR
2003
Springer
94views Robotics» more  FSR 2003»
15 years 12 months ago
Planning under Uncertainty for Reliable Health Care Robotics
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...
Nicholas Roy, Geoffrey J. Gordon, Sebastian Thrun
ADBIS
2000
Springer
131views Database» more  ADBIS 2000»
15 years 11 months ago
Mobile Transaction Management in Mobisnap
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
Nuno M. Preguiça, Carlos Baquero, Francisco...
« Prev « First page 1408 / 1699 Last » Next »