Sciweavers

4150 search results - page 286 / 830
» A Practical Approach to Model Extension
Sort
View
GECCO
2004
Springer
101views Optimization» more  GECCO 2004»
15 years 10 months ago
Growth Curves and Takeover Time in Distributed Evolutionary Algorithms
This paper presents a study of different models for the growth curves and takeover time in a distributed EA (dEA). The calculation of the takeover time and the dynamical growth cu...
Enrique Alba, Gabriel Luque
WSC
2000
15 years 6 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 4 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
ICASSP
2010
IEEE
15 years 4 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
ECOWS
2007
Springer
15 years 10 months ago
Towards Resource-Oriented BPEL
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a â€...
Hagen Overdick