8496 search results - page 331 / 1700 » Problem Solving and Complex Systems |
186
click to vote
FOCM
2002
15 years 6 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
202
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
161
click to vote
NIPS
2003
15 years 8 months ago
2003
Approximate linear programming (ALP) has emerged recently as one of the most promising methods for solving complex factored MDPs with finite state spaces. In this work we show th...
153
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Case-based reasoning systems solve new problems by retrieving and adapting the solutions to similar previously solved problems. The success and performance of any case-based reason...
167
click to vote
P2P
2007
IEEE
16 years 29 days ago
2007
IEEE
Structured overlay networks form a major class of peerto-peer systems, which are touted for their abilities to scale, tolerate failures, and self-manage. Any long-lived Internet-s...