747 search results - page 73 / 150 » Using and Combining Predictors That Specialize |
FASE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
: A new efficient type I architecture for motion estimation in video sequences based on the Full-Search Block-Matching (FSBM) algorithm is proposed in this paper. This architecture...
PADO
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
AIPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Tomographic reflection is a method that may be used to merge the visual outer surface of a patient with a simultaneous ultrasound scan of the patient’s interior. The technique c...
IJCNN
2000
IEEE
14 years 1 months ago
2000
IEEE
Cq-profiles are 12-dimensional vectors, each component referring to a pitch class. They can be employed to represent keys. Cq-profiles are calculated with the constant Q filter...