3169 search results - page 516 / 634 » Robust Timed Automata |
CIARP
2003
Springer
14 years 1 months ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
GPCE
2003
Springer
14 years 1 months ago
2003
Springer
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...
HUC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. One of the main prerequisites for location-based services is knowledge of location. We present a simple algorithm for computing the location of a device based on signal s...
DATE
2010
IEEE
14 years 27 days ago
2010
IEEE
Pressure sensors are ideal candidates for implementing portable digital music instruments. Existing commercial pressure sensors, however, are not optimized to meet both timing and...
DFT
2002
IEEE
14 years 23 days ago
2002
IEEE
We propose an algorithm for gate-delay fault diagnosis. It is based on the inject-and-evaluate paradigm [1], in which the fault site(s) are predicted through a series of injection...