3521 search results - page 327 / 705 » Algorithmic Control in Concurrent Computations |
160
Voted
CP
2000
Springer
15 years 9 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...
152
click to vote
CAISE
1999
Springer
15 years 9 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...
137
click to vote
GECCO
2006
Springer
15 years 8 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...
132
click to vote
SNPD
2008
15 years 6 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...
231
click to vote
SIGGRAPH
1997
ACM
15 years 9 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...