Sciweavers

10909 search results - page 610 / 2182
» Evaluating Backup Algorithms
Sort
View
SAT
2005
Springer
111views Hardware» more  SAT 2005»
16 years 19 days ago
On Subsumption Removal and On-the-Fly CNF Simplification
Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simpl...
Lintao Zhang
NORDICHI
2004
ACM
16 years 17 days ago
On-line adjustment of dwell time for target selection by gaze
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
Oleg Spakov, Darius Miniotas
SIGIR
2004
ACM
16 years 17 days ago
Sentence completion
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...
Korinna Grabski, Tobias Scheffer
ISMIR
2004
Springer
132views Music» more  ISMIR 2004»
16 years 16 days ago
Classification of musical genre: a machine learning approach
In this paper, we investigate the impact of machine learning algorithms in the development of automatic music classification models aiming to capture genres distinctions. The stu...
Roberto Basili, Alfredo Serafini, Armando Stellato
PVM
2004
Springer
16 years 15 days ago
The Impact of File Systems on MPI-IO Scalability
As the number of nodes in cluster systems continues to grow, leveraging scalable algorithms in all aspects of such systems becomes key to maintaining performance. While scalable al...
Robert Latham, Robert B. Ross, Rajeev Thakur