Sciweavers

1753 search results - page 238 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
AAAI
1993
14 years 11 months ago
Complexity Analysis of Real-Time Reinforcement Learning
This paper analyzes the complexity of on-line reinforcement learning algorithms, namely asynchronous realtime versions of Q-learning and value-iteration, applied to the problem of...
Sven Koenig, Reid G. Simmons
AAMAS
2007
Springer
14 years 10 months ago
Modeling conversation policies using permissions and obligations
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...
Lalana Kagal, Tim Finin
ENTCS
2008
85views more  ENTCS 2008»
14 years 10 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
ETS
2006
IEEE
114views Hardware» more  ETS 2006»
14 years 10 months ago
From Research Resources to Learning Objects: Process Model and Virtualization Experiences
Typically, most research and academic institutions own and archive a great amount of objects and research related resources that have been produced, used and maintained over long ...
José Luis Sierra, Alfredo Fernández-...
JODS
2006
131views Data Mining» more  JODS 2006»
14 years 10 months ago
Integrating and Exchanging XML Data Using Ontologies
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
Huiyong Xiao, Isabel F. Cruz