3169 search results - page 399 / 634 » Robust Timed Automata |
212
click to vote
IBPRIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this article, scale and orientation invariant object detection is performed by matching intensity level histograms. Unlike other global measurement methods, the presen...
140
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose a variational approach for multi-valued velocity field estimation in transparent sequences. Starting from existing local motion estimators, we show a variatio...
188
click to vote
TELETRAFFIC
2007
Springer
16 years 22 days ago
2007
Springer
In structured peer-to-peer (P2P) networks participating peers can join or leave the system at arbitrary times, a process which is known as churn. Many recent studies revealed that ...
142
click to vote
WDAG
2007
Springer
16 years 22 days ago
2007
Springer
In contrast to peer-to-peer file sharing, live streaming based on peer-to-peer technology is still awaiting its breakthrough. This may be due to the additional challenges live str...
187
click to vote
DDECS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...