3169 search results - page 512 / 634 » Robust Timed Automata |
VISUAL
2005
Springer
14 years 1 months ago
2005
Springer
Chemical processing of celluloid based cinematic film, becomes unstable with time, unless they are stored at low temperatures. Some defects, such as bleaching on color movies, are ...
MM
2004
ACM
14 years 1 months ago
2004
ACM
We present a method for searching databases of symbolically represented polyphonic music that exploits advantages of transportation distances such as continuity and partial matchi...
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
We propose a two-step method for detecting human heads and estimating face orientations under the dynamic environment. In the first step, the method employs an ellipse as the cont...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
One of the main challenges in Grid computing is efficient allocation of resources (CPU-hours, network bandwidth, etc.) to the tasks submitted by users. Due to the lack of centrali...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...