2586 search results - page 63 / 518 » Automatic Abstraction for Congruences |
SSPR
2004
Springer
15 years 3 months ago
2004
Springer
We present results on an extension to our approach for automatic sports video annotation. Sports video is augmented with accelerometer data from wrist bands worn by umpires in the ...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
105
click to vote
ERCIMDL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper presents an approach to automatically subject index fulltext documents with multiple labels based on binary support vector machines (SVM). The aim was to test ...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. This paper describes a study concerning the impact of MMX technology in the field of automatic vehicle guidance. Due to the high speed a vehicle can reach, this applicati...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...