Sciweavers

6514 search results - page 510 / 1303
» Low-Knowledge Algorithm Control
Sort
View
ISCC
2000
IEEE
106views Communications» more  ISCC 2000»
15 years 9 months ago
Packet Scheduling Based on Learning in the Next Generation Internet Architectures
With multimedia applications, the Internet traffic increased a lot in volume, but also suffered major alterations in its nature, requesting other network services besides the curr...
Alencar de Melo Jr., Juan Manuel Adán Coell...
160
Voted
CP
2000
Springer
15 years 9 months ago
New Search Heuristics for Max-CSP
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...
Kalev Kask
CAISE
1999
Springer
15 years 9 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
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...
Wasim Sadiq, Maria E. Orlowska
GECCO
2006
Springer
332views Optimization» more  GECCO 2006»
15 years 8 months ago
Multi-objective PID-controller tuning for a magnetic levitation system using NSGA-II
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...
Gerulf K. M. Pedersen, Zhenyu Yang
RTSS
1995
IEEE
15 years 8 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi