3731 search results - page 563 / 747 » cases 2006 |
154
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Ubiquitous system can be considered as the intelligent space, in which many kinds of component are connected by networks and also each component recognizes their connection and coo...
180
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
173
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
201
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
176
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
The past decade has seen extensive research on audio classification and segmentation algorithms. However, the effect of background noise on the performance of classification has n...