Sciweavers

6941 search results - page 573 / 1389
» Testing as a Certification Approach
Sort
View
ICASSP
2010
IEEE
15 years 7 months ago
Framework for cross-language automatic phonetic segmentation
Annotation of large multilingual corpora remains a challenge to the data-driven approach to speech research, especially for under-resourced languages. This paper presents crosslan...
Udochukwu Kalu Ogbureke, Julie Carson-Berndsen
GECCO
2010
Springer
140views Optimization» more  GECCO 2010»
15 years 7 months ago
Shared memory genetic algorithms in a multi-agent context
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
Dana Vrajitoru
CORR
2006
Springer
112views Education» more  CORR 2006»
15 years 7 months ago
Satisfying KBO Constraints
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...
Harald Zankl, Aart Middeldorp
CPHYSICS
2006
135views more  CPHYSICS 2006»
15 years 7 months ago
USPEX - Evolutionary crystal structure prediction
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
Colin W. Glass, Artem R. Oganov, Nikolaus Hansen
DAM
2006
100views more  DAM 2006»
15 years 7 months ago
A combinatorial algorithm for weighted stable sets in bipartite graphs
Abstract. Computing a maximum weighted stable set in a bipartite graph is considered wellsolved and usually approached with preflow-push, Ford-Fulkerson or network simplex algorith...
Ulrich Faigle, Gereon Frahling