Sciweavers

3426 search results - page 181 / 686
» Self-identifying sensor data
Sort
View
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 10 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
MOBICOM
1998
ACM
15 years 10 months ago
Multi-Sensor Location Tracking
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...
Ulf Leonhardt, Jeff Magee
ICANN
1997
Springer
15 years 10 months ago
Real-Time Analog VLSI Sensors for 2-D Direction of Motion
Optical ow elds are a primary source of information about the visual scene in technical and biological systems. In a step towards a system for real time scene analysis we have deve...
Rainer A. Deutschmann, Charles M. Higgins, Christo...
ECAI
2006
Springer
15 years 10 months ago
Situation Assessment for Sensor-Based Recovery Planning
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
HCI
2007
15 years 7 months ago
Sensor-Driven Adaptation of Web Document Presentation
The increasing variety of user device technologies has raised the necessity for ubiquitous content provision, which is characterized by “intelligent” content delivery to end us...
Spyros Nathanail, Vassileios Tsetsos, Stathes Hadj...