1521 search results - page 188 / 305 » On Sampled Semantics of Timed Systems |
130
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
151
click to vote
ISM
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
249
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
We present an indoor positioning system that measures location using disturbances of the Earth's magnetic field caused by structural steel elements in a building. The presenc...
153
Voted
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
128
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...