970 search results - page 167 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
ECCV
1998
Springer
14 years 1 months ago
1998
Springer
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...
CLEF
2010
Springer
13 years 6 months ago
2010
Springer
Recent years have seen a growing interest in research into patent retrieval. One of the key issues in conducting information retrieval (IR) research is meaningful evaluation of the...
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...