561 search results - page 47 / 113 » A Constructive Approach to Testing Model Transformations |
IRAL
2003
ACM
15 years 5 months ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
103
click to vote
JAR
2000
14 years 11 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
IJRR
2011
14 years 6 months ago
2011
We present a model to estimate motion from monocular visual and inertial measurements. We analyze the model and characterize the conditions under which its state is observable, an...
ISMIR
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a melody spotting system based on Variable Duration Hidden Markov Models (VDHMM’s), capable of locating monophonic melodies in a database of raw audio record...
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...