Sciweavers

691 search results - page 118 / 139
» An Implementation of Robot Formations using Local Interactio...
Sort
View
71
Voted
DSN
2006
IEEE
15 years 3 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
ISWC
1997
IEEE
15 years 1 months ago
Stochasticks: Augmenting the Billiards Experience with Probabilistic Vision and Wearable Computers
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
Tony Jebara, Cyrus Eyster, Joshua Weaver, Thad Sta...
86
Voted
MM
2003
ACM
125views Multimedia» more  MM 2003»
15 years 2 months ago
Essistants
One of the challenges the service providers currently face is the ability to introduce a variety of services at a minimal cost and impact to their customers. These services often ...
Christos Tryfonas, James Schumacher
PPDP
1999
Springer
15 years 1 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
DIGITALCITIES
2000
Springer
15 years 2 months ago
Experiments in the Digital 'Engineering City Oulu'
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
Lech Krzanik, Minna Mäkäräinen