Sciweavers

22358 search results - page 4087 / 4472
» Software Performance Engineering
Sort
View
TREC
1998
15 years 6 months ago
Spoken Document Retrieval For TREC-7 At Cambridge University
This paper presents work done at Cambridge University, on the TREC7 Spoken Document Retrieval (SDR) Track. The broadcast news audio was transcribed using a 2-pass gender-dependent...
Sue E. Johnson, P. Jourlin, G. L. Moore, Karen Spa...
PDPTA
2000
15 years 6 months ago
Parallel Real-Time Cryptography: Beyond Speedup II
The primary purpose of parallel computation is the fast execution of computational tasks that are too slow to perform sequentially. However, it was shown recently that a second eq...
Selim G. Akl, Stefan D. Bruda
WSC
1998
15 years 6 months ago
Windows-based Animation with PROOF
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
James O. Henriksen
WOA
2000
15 years 6 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
WSC
1997
15 years 6 months ago
Using a Simulation Model to Evaluate the Configuration of a Sortation Facility
At a parcel delivery company, the items being shipped must be sorted by destination. However, the company typically serves more destinations than there are distinct positions for ...
Dale Masel, David Goldsmith
« Prev « First page 4087 / 4472 Last » Next »