1420 search results - page 172 / 284 » Multi-point Constructive Search |
159
click to vote
DEXAW
1999
IEEE
15 years 9 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
134
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a parallel phoneme recognition algorithm based on the continuous Hidden Markov Model (HMM). The parallel phoneme recognition algorithm distributes 3-state HMMs...
119
click to vote
HICSS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we present the design and implementation of a distributed index architecture to facilitate metadata discovery on large networks. Many current information discovery s...
140
click to vote
TYPES
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
127
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...