Sciweavers

3771 search results - page 644 / 755
» Subobject Transformation Systems
Sort
View
ICRA
1999
IEEE
192views Robotics» more  ICRA 1999»
15 years 7 months ago
Cooperative Robot Localization with Vision-Based Mapping
Two stereo vision-based mobile robots navigate and autonomously explore their environment safely while building occupancy grid maps of the environment. A novel landmark recognitio...
Cullen Jennings, Don Murray, James J. Little
ICPP
1998
IEEE
15 years 7 months ago
A memory-layout oriented run-time technique for locality optimization
Exploiting locality at run-time is a complementary approach to a compiler approach for those applications with dynamic memory access patterns. This paper proposes a memory-layout ...
Yong Yan, Xiaodong Zhang, Zhao Zhang
PPDP
1999
Springer
15 years 7 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
AMAST
1998
Springer
15 years 7 months ago
Scheduling Algebra
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
Rob J. van Glabbeek, Peter Rittgen
DL
1998
Springer
138views Digital Library» more  DL 1998»
15 years 7 months ago
Digital Library Information Appliances
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
Bill N. Schilit, Morgan N. Price, Gene Golovchinsk...