32 search results - page 7 / 7 » Symbolic Robustness Analysis of Timed Automata |
MM
2004
ACM
13 years 10 months ago
2004
ACM
We present a method for searching databases of symbolically represented polyphonic music that exploits advantages of transportation distances such as continuity and partial matchi...
AI
1999
Springer
13 years 5 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...