Sciweavers

30267 search results - page 5710 / 6054
» Process Modelling Languages
Sort
View
ECTEL
2006
Springer
15 years 7 months ago
Guided and Interactive Factory Tours for Schools
School education today aims at improving the integration of school and professional life. A popular way to provide first hand experiences to students are guided factory tours. Comp...
Andreas Kaibel, Andreas Auwärter, Milos Kravc...
ESA
2006
Springer
136views Algorithms» more  ESA 2006»
15 years 7 months ago
Approximation in Preemptive Stochastic Online Scheduling
Abstract. We present a first constant performance guarantee for preemptive stochastic scheduling to minimize the sum of weighted completion times. For scheduling jobs with release ...
Nicole Megow, Tjark Vredeveld
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 7 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 7 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
GECCO
2006
Springer
192views Optimization» more  GECCO 2006»
15 years 7 months ago
Optimising cancer chemotherapy using an estimation of distribution algorithm and genetic algorithms
This paper presents a methodology for using heuristic search methods to optimise cancer chemotherapy. Specifically, two evolutionary algorithms - Population Based Incremental Lear...
Andrei Petrovski, Siddhartha Shakya, John A. W. Mc...
« Prev « First page 5710 / 6054 Last » Next »