1242 search results - page 142 / 249 » The Theory of Grammar Constraints |
122
Voted
FUIN
2010
14 years 10 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
115
Voted
APLAS
2011
ACM
14 years 24 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
138
click to vote
SIAMCOMP
2012
13 years 3 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
115
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
94
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Many successful applications have proven the potential of Learning Classifier Systems and the XCS classifier system in particular in datamining, reinforcement learning, and func...