Sciweavers

11022 search results - page 1834 / 2205
» Programming Systems for Autonomy
Sort
View
IPPS
2003
IEEE
16 years 22 days ago
Performance and Overhead in a Hybrid Reconfigurable Computer
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelÂ...
Osman Devrim Fidanci, Daniel S. Poznanovic, Kris G...
ISMAR
2003
IEEE
16 years 22 days ago
DART: The Designer's Augmented Reality Toolkit
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
Blair MacIntyre, Maribeth Gandy, Jay David Bolter,...
301
Voted
LICS
2003
IEEE
16 years 22 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
199
Voted
SAINT
2003
IEEE
16 years 22 days ago
Extracting Spatial Knowledge from the Web
The content of the world-wide web is pervaded by information of a geographical or spatial nature, particularly such location information as addresses, postal codes, and telephone ...
Yasuhiko Morimoto, Masaki Aono, Michael E. Houle, ...
WMCSA
2003
IEEE
16 years 22 days ago
Real-world Implementation of the Location Stack: The Universal Location Framework
Both the research community and developers in industry have identified the need for a clearly defined vocabulary and programming framework for location technologies. A layered Loc...
David Graumann, Jeffrey Hightower, Walter Lara, Ga...
« Prev « First page 1834 / 2205 Last » Next »