12981 search results - page 2252 / 2597 » Model Checking (Abstract) |
149
click to vote
MIRAGE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...
153
click to vote
MLMI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
133
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
139
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
147
click to vote
PATMOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The continuous miniaturization of semiconductor devices imposes serious threats to design robustness against process variations and environmental fluctuations. Modern ci...