Sciweavers

1984 search results - page 198 / 397
» The colourful feasibility problem
Sort
View
ICRA
1998
IEEE
137views Robotics» more  ICRA 1998»
15 years 10 months ago
GRAMMPS: A Generalized Mission Planner for Multiple Mobile Robots in Unstructured Environments
For a system of cooperative mobile robots to be effective in real-world applications, it must be able to efficiently execute a wide class of complex tasks in potentially unknown a...
Barry Brumitt, Anthony Stentz
ICRE
1998
IEEE
15 years 10 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
ACCV
1998
Springer
15 years 10 months ago
VR Models from Epipolar Images: An Approach to Minimize Errors in Synthesized Images
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...
Mikio Shinya, Takafumi Saito, Takeaki Mori, Noriyo...
SIGMOD
1998
ACM
127views Database» more  SIGMOD 1998»
15 years 10 months ago
ARIADNE: A System for Constructing Mediators for Internet Sources
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to achieve this integration is by building sp...
José Luis Ambite, Naveen Ashish, Greg Baris...
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 10 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...