757 search results - page 18 / 152 » How to decide |
FSTTCS
2003
Springer
14 years 26 days ago
2003
Springer
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...
ISMIR
2003
Springer
14 years 25 days ago
2003
Springer
Rhythmic similarity techniques for audio tend to evaluate how close to identical two rhythms are. This paper proposes a similarity metric based on rhythmic elaboration that matche...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
To support incremental replay of message-passing applications, processes must periodically checkpoint and the content of some messages must be logged, to break dependencies of the...
WSC
2008
13 years 10 months ago
2008
Delphi Corporation decided to use simulation from concept development to installation of a new multimillion dollar fuel injector production line. In this paper we describe how sim...
IPCV
2008
13 years 9 months ago
2008
We propose one geometric algorithm to solve both the problem of circularity test and the problem of circularity measure. The former problem consists in deciding whether a given di...