3169 search results - page 156 / 634 » Robust Timed Automata |
129
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
113
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a new circularity measure inspired from Arkin [1], Latecki [9] tools of shape matching that is constructed in a tangent space. We then introduce a linear algorithm that...
119
Voted
TIP
2008
15 years 2 months ago
2008
We extend the standard mean-shift tracking algorithm to an adaptive tracker by selecting reliable features from color and shape-texture cues according to their descriptive ability....
110
Voted
CGF
2008
15 years 2 months ago
2008
The goal of this paper is to enable the interactive simulation of phenomena such as animated fluid characters. While full 3D fluid solvers achieve this with control algorithms, th...
108
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Automatic physical database design tools rely on "what-if" interfaces to the query optimizer to estimate the execution time of the training query workload under differen...