3521 search results - page 327 / 705 » Algorithmic Control in Concurrent Computations |
199
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
193
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
167
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
166
click to vote
SNPD
2008
15 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
279
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Virtual colonoscopy is a non-invasive computerized medical procedure for examining the entire colon to detect polyps. We present an interactive virtual colonoscopy method, which u...