337 search results - page 59 / 68 » An Adaptive Model of Decision-Making in Planning |
CSCLP
2008
Springer
13 years 10 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
IJVR
2008
13 years 8 months ago
2008
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
HOLOMAS
2007
Springer
14 years 2 months ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
WSC
2001
13 years 10 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...