1420 search results - page 172 / 284 » Multi-point Constructive Search |
183
click to vote
DEXAW
1999
IEEE
15 years 10 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...
158
click to vote
IPPS
1999
IEEE
15 years 10 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...
137
click to vote
HICSS
1998
IEEE
15 years 10 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...
162
click to vote
TYPES
1999
Springer
15 years 10 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...
150
click to vote
ICCAD
1997
IEEE
15 years 10 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...