3457 search results - page 111 / 692 » A Symbol Is Not a Symbol |
126
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we describe a novel automatic cluster analysis method for symbolic music. The method contains both a surface level and a paradigmatic level analysing block and work...
103
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
90
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Maximum Likelihood estimation theory can be used to develop optimal timing recovery schemes for digital communication systems. Tunable digital interpolation filters are commonly ...
EVOW
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The idea of symbolic controllers tries to bridge the gap between the top-down manual design of the controller architecture, as advocated in Brooks’ subsumption architec...