Sciweavers

415 search results - page 37 / 83
» time 1994
Sort
View
AAAI
1994
14 years 2 days ago
Tractable Planning with State Variables by Exploiting Structural Restrictions
So far, tractable planning problems reported in the literature have been defined by syntactical restrictions. To better exploit the inherent structure in problems, however, it is ...
Peter Jonsson, Christer Bäckström
HICSS
1994
IEEE
139views Biometrics» more  HICSS 1994»
14 years 2 months ago
Operating System Support for Shared Memory Clusters
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...
Ronald L. Rockhold, James L. Peterson
DAC
1994
ACM
14 years 2 months ago
Synthesis of Instruction Sets for Pipelined Microprocessors
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
Ing-Jer Huang, Alvin M. Despain
ICRA
1994
IEEE
99views Robotics» more  ICRA 1994»
14 years 2 months ago
An Optimal Sonar Array for Target Localization and Classification
A novel sonar array for mobile robots is presented with applications to localization and mapping of indoor environments. The ultrasonic sensor localizes and classifies multiple ta...
Lindsay Kleeman, Roman Kuc
FOCS
1994
IEEE
14 years 2 months ago
The Power of Team Exploration: Two Robots Can Learn Unlabeled Directed Graphs
We show that two cooperating robots can learn exactly any strongly-connected directed graph with n indistinguishable nodes in expected time polynomial in n. We introduce a new typ...
Michael A. Bender, Donna K. Slonim