399 search results - page 37 / 80 » Combining the Animation and Testing of Abstract Data Types |
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
IBPRIA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents a new framework for the motion segmentation and estimation task on sequences of two grey images without a priori information of the number of moving r...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
DATA available at http://www.tnt.uni-hannover.de/project/MPI08_Database/!
In this work, we present an approach to fuse video with
orientation data obtained from extended iner...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper describes an investigation of data fusion techniques for spoken document retrieval. The effectiveness of retrievals solely based on the outputs from automatic...