Sciweavers

3887 search results - page 430 / 778
» The World as Evolving Information
Sort
View
KR
1998
Springer
15 years 11 months ago
What Robots Can Do
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
Hector J. Levesque
ISWC
1997
IEEE
15 years 11 months ago
A Touring Machine: Prototyping 3D Mobile Augmented Reality Systems for Exploring the Urban Environment
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
Steven Feiner, Blair MacIntyre, Tobias Höller...
180
Voted
IWPC
1997
IEEE
15 years 11 months ago
A Case Study of Domain-based Program Understanding
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...
ECMAST
1997
Springer
172views Multimedia» more  ECMAST 1997»
15 years 11 months ago
A Multicast Network Architecture for Large Scale Collaborative Virtual Environments
This paper introduces a multicast based architecture for supporting large scale Collaborative Virtual Environments (CVEs). The paper begins by defining CVEs, discussing the motivat...
Chris Greenhalgh, Steve Benford
191
Voted
ECOOP
1993
Springer
15 years 11 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach