1424 search results - page 135 / 285 » The Multi-radius Cover Problem |
129
click to vote
ECP
1999
Springer
15 years 7 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
129
Voted
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
To successfully search multiple coadaptive subcomponents in a solution, we developed a novel cooperative evolutionary algorithm based on a new computational multilevel selection f...
128
click to vote
BPM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...
108
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
159
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...