3169 search results - page 511 / 634 » Robust Timed Automata |
ICN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a stable accurate rapid bandwidth estimate (SARBE) algorithm to improve TCP performance over wireless networks. The proposed algorithm estimates the b...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
The singing voice is the oldest and most complex musical instrument. A familiar singer’s voice is easily recognizable for humans, even when hearing a song for the first time. O...
ISVC
2005
Springer
14 years 1 months ago
2005
Springer
Face recognition is a key biometric technology with a wide range of potential applications both in government and private sectors. Despite considerable progress in face recognition...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
SSS
2005
Springer
14 years 1 months ago
2005
Springer
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...