Sciweavers

2620 search results - page 430 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
MLMI
2004
Springer
14 years 2 months ago
Speaker Indexing in Audio Archives Using Gaussian Mixture Scoring Simulation
Speaker indexing has recently emerged as an important task due to the rapidly growing volume of audio archives. Current filtration techniques still suffer from problems both in acc...
Hagai Aronowitz, David Burshtein, Amihood Amir
NOSSDAV
2004
Springer
14 years 2 months ago
Managing a portfolio of overlay paths
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...
Daria Antonova, Arvind Krishnamurthy, Zheng Ma, Ra...
SETN
2004
Springer
14 years 2 months ago
Construction and Repair: A Hybrid Approach to Search in CSPs
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
Konstantinos Chatzikokolakis, George Boukeas, Pana...
SPIN
2004
Springer
14 years 2 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
CGO
2003
IEEE
14 years 2 months ago
Adaptive Online Context-Sensitive Inlining
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
Kim M. Hazelwood, David Grove