3820 search results - page 407 / 764 » Bounded Model Debugging |
138
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
126
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
137
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Previous work investigating the performance of genetic algorithms (GAs) has attempted to develop a set of fitness landscapes, called “Royal Roads” functions, which should be id...
128
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
We propose a new two-dimensional meshing algorithm called PINW able to generate meshes that accurately approximate the distance between any two domain points by paths composed onl...
130
click to vote
ISNN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. By using differential neural networks, we present a novel robust adaptive controller for a class of unknown nonlinear systems. First, dead-zone and projection techniques...