Sciweavers

5564 search results - page 754 / 1113
» Performance Modeling of HPC Applications
Sort
View
SAT
2004
Springer
95views Hardware» more  SAT 2004»
16 years 5 hour ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
SETN
2004
Springer
16 years 4 hour ago
Clustering XML Documents by Structure
This work explores the application of clustering methods for grouping structurally similar XML documents. Modeling the XML documents as rooted ordered labeled trees, we apply clust...
Theodore Dalamagas, Tao Cheng, Klaas-Jan Winkel, T...
SSPR
2004
Springer
16 years 3 hour ago
A Shallow Description Framework for Musical Style Recognition
Abstract. In the field of computer music, pattern recognition algorithms are very relevant for music information retrieval (MIR). One challenging task within this area is the auto...
Pedro J. Ponce de León, Carlos Pérez...
DCC
2003
IEEE
15 years 12 months ago
Rate-Distortion Bound for Joint Compression and Classification
- Rate-distortion theory is applied to the problem of joint compression and classification. A Lagrangian distortion measure is used to consider both the squared Euclidean error in ...
Yanting Dong, Lawrence Carin
LCN
2003
IEEE
15 years 12 months ago
Pipelining and Overlapping for MPI Collective Operations
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
Joachim Worringen