|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 15 van 16 gevonden artikelen
| Titel: |
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework |
| Auteur: |
Niewiadomski, Artur Skaruz, Jaroslaw Penczek, Wojciech Szreter, Maciej Jarocki, Mariusz |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 135 (2014) nr. 4 pagina's 451-466 |
| Jaar: |
2014-11-24 |
| Inhoud: |
The paper deals with the concrete planning problem (CPP) – a stage of the Web Service Composition (WSC) in the PlanICS framework. The complexity of the problem is discussed. A novel SMT-based approach to CPP is defined and its performance is compared to the standard Genetic Algorithm (GA) and the OpenOpt numerical toolset planner in the framework of the PlanICS system. The discussion of all the approaches is supported by extensive experimental results. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 15 van 16 gevonden artikelen
| << vorige | volgende >> |