4814 search results - page 122 / 963 » Combining abstract interpreters |
270
click to vote
IEAAIE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
174
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
147
click to vote
WDAG
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
178
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
190
click to vote
ESANN
1998
15 years 7 months ago
1998
Abstract. In this paper, we focus on a novel NN/HMM architecture for continuous speech recognition. The architecture incorporates a neural feature extraction to gain more discrimin...