3457 search results - page 125 / 692 » A Symbol Is Not a Symbol |
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
131
click to vote
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a method that recognizes musical chords from real-world audio signals in compact-disc recordings. The automatic recognition of musical chords is necessary for...
119
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
CODES
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
99
Voted
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...