Sciweavers

1126 search results - page 8 / 226
» Modularity and the Rule of Adaptation
Sort
View
IJRR
2008
186views more  IJRR 2008»
13 years 8 months ago
Automated Design of Adaptive Controllers for Modular Robots using Reinforcement Learning
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
Paulina Varshavskaya, Leslie Pack Kaelbling, Danie...
AH
2008
Springer
14 years 2 months ago
Personalization Using Ontologies and Rules
Adaptive hypermedia systems can alleviate information overload on the Web by personalising the delivery of resources to the user. These systems are however afflicted with difficu...
Thanh Tran, Haofen Wang, Steffen Lamparter, Philip...
TPHOL
2002
IEEE
14 years 1 months ago
Quotient Types: A Modular Approach
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
Aleksey Nogin
ESORICS
2007
Springer
14 years 2 months ago
Adaptive Soundness of Static Equivalence
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
Steve Kremer, Laurent Mazaré
LREC
2008
84views Education» more  LREC 2008»
13 years 10 months ago
Saxon: an Extensible Multimedia Annotator
This paper introduces Saxon, a rule based document annotator that is capable of processing and annotating several document formats and media, both within and across documents. Fur...
Mark A. Greenwood, José Iria, Fabio Ciraveg...