Sciweavers

520 search results - page 34 / 104
» New Complexity Results for Classical Planning Benchmarks
Sort
View
WSC
2000
15 years 1 months ago
Circumstance descriptors: a method for generating plan modifications and fragmentary orders
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...
John B. Gilmer Jr.
127
Voted
TC
2010
14 years 7 months ago
Model-Driven System Capacity Planning under Workload Burstiness
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
112
Voted
BMCBI
2008
119views more  BMCBI 2008»
15 years 19 days ago
A new method for 2D gel spot alignment: application to the analysis of large sample sets in clinical proteomics
Background: In current comparative proteomics studies, the large number of images generated by 2D gels is currently compared using spot matching algorithms. Unfortunately, differe...
Sabine Pérès, Laurence Molina, Nicol...
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 5 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
CEC
2010
IEEE
14 years 4 months ago
Evoptool: An extensible toolkit for evolutionary optimization algorithms comparison
— This paper presents Evolutionary Optimization Tool (Evoptool), an optimization toolkit that implements a set of meta-heuristics based on the Evolutionary Computation paradigm. ...
Gabriele Valentini, Luigi Malagò, Matteo Ma...