Sciweavers

20833 search results - page 3773 / 4167
» Hidden process models
Sort
View
ECTEL
2006
Springer
15 years 9 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...
EDBTW
2006
Springer
15 years 9 months ago
Using Temporal Semantics for Live Media Stream Queries
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
Bin Liu, Amarnath Gupta, Ramesh Jain
ESA
2006
Springer
136views Algorithms» more  ESA 2006»
15 years 9 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
164
Voted
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 9 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...
163
Voted
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 9 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
« Prev « First page 3773 / 4167 Last » Next »