Sciweavers

2056 search results - page 94 / 412
» time 2000
Sort
View
KR
2000
Springer
15 years 8 months ago
Satisfiability Algorithms and Finite Quantification
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
Matthew L. Ginsberg, Andrew J. Parkes
WSC
2000
15 years 5 months ago
Electronic workflow for transaction-based work cells in a financial services firm
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
David M. Ferrin, Martin J. Miller, Gustavo Giron
IPPS
2000
IEEE
15 years 8 months ago
A Decision-Process Analysis of Implicit Coscheduling
ThispaperpresentsatheoreticalframeworkbasedonBayesian decision theory for analyzing recently reported results on implicit coscheduling of parallel applications on clusters of work...
Radha Poovendran, Peter J. Keleher, John S. Baras
COLING
2000
15 years 5 months ago
Comparing two trainable grammatical relations finders
Grammatical relationships (Glls) form an important level of natural language processing, but different sets of ORs are useflfl for different purposes. Theretbre, one may often onl...
Alexander S. Yeh
IPPS
2000
IEEE
15 years 8 months ago
Repartitioning Unstructured Adaptive Meshes
We present a new parallel repartitioning algorithm for adaptive finite-element meshes that significantly reduces the amount of data that needs to move between processors in orde...
José G. Castaños, John E. Savage