Sciweavers

2631 search results - page 314 / 527
» A Practical Method for the Sparse Resultant
Sort
View
AUSAI
2004
Springer
16 years 18 days ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
CAV
2004
Springer
93views Hardware» more  CAV 2004»
16 years 18 days ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
GECCO
2004
Springer
100views Optimization» more  GECCO 2004»
16 years 18 days ago
Analysis of the (1+1) EA for a Noisy OneMax
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
Stefan Droste
LSO
2004
Springer
16 years 17 days ago
Tool Support for Inter-team Learning in Agile Software Organizations
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
Thomas Chau, Frank Maurer
MICAI
2004
Springer
16 years 17 days ago
Faster Proximity Searching in Metric Data
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...
Edgar Chávez, Karina Figueroa