Sciweavers

11 search results - page 2 / 3
» Cognitive scaffolding in Web3D learning systems: a case stud...
Sort
View
TCOS
2008
13 years 4 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang
IAT
2008
IEEE
13 years 5 months ago
Cognitive Agents Integrating Rules and Reinforcement Learning for Context-Aware Decision Support
While context-awareness has been found to be effective for decision support in complex domains, most of such decision support systems are hard-coded, incurring significant develop...
Teck-Hou Teng, Ah-Hwee Tan
IJRR
2008
186views more  IJRR 2008»
13 years 5 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...
CAV
1998
Springer
103views Hardware» more  CAV 1998»
13 years 9 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
COGSCI
2007
109views more  COGSCI 2007»
13 years 5 months ago
Understanding the Emergence of Modularity in Neural Systems
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
John A. Bullinaria