233 search results - page 20 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
At present, the object categorisation literature is still dominated by the use of individual class detectors. Detecting multiple classes then implies the subsequent application of...
AI
2000
Springer
13 years 7 months ago
2000
Springer
The Internet presents numerous sources of useful information--telephone directories, product catalogs, stock quotes, event listings, etc. Recently, many systems have been built th...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We present an efficient "sparse sampling" technique for approximating Bayes optimal decision making in reinforcement learning, addressing the well known exploration vers...