3255 search results - page 56 / 651 » Combination of Abstractions in the ASTR |
113
Voted
TACS
1994
Springer
15 years 5 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 ...
100
click to vote
WDAG
1995
Springer
15 years 5 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...
118
click to vote
CPAIOR
2008
Springer
15 years 3 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...
132
click to vote
ESANN
1998
15 years 3 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...
112
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...