Sciweavers

448 search results - page 33 / 90
» A SOA-Based Framework for Constructing Problem Solving Envir...
Sort
View
BIRTHDAY
2004
Springer
15 years 7 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
104
Voted
IJCAI
1993
15 years 3 months ago
An Approach to Analyzing the Need for Meta-Level Communication
This paper presents an analysis of static and dynamic organizational structures for naturally distributed, homogeneous, cooperative problem solving environments, exemplified by di...
Keith Decker, Victor R. Lesser
ICRA
2010
IEEE
111views Robotics» more  ICRA 2010»
15 years 10 days ago
Multi-tasking SLAM
— The problem of simultaneous localization and mapping (SLAM) is one of the most studied in the robotics literature. Most existing approaches, however, focus on scenarios where l...
Arthur Guez, Joelle Pineau
WECWIS
2003
IEEE
120views ECommerce» more  WECWIS 2003»
15 years 7 months ago
Reinforcement Learning Applications in Dynamic Pricing of Retail Markets
In this paper, we investigate the use of reinforcement learning (RL) techniques to the problem of determining dynamic prices in an electronic retail market. As representative mode...
C. V. L. Raju, Y. Narahari, K. Ravikumar
ICALT
2008
IEEE
15 years 8 months ago
NUCLEO: Adaptive Computer Supported Collaborative Learning in a Role Game Based Scenario
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...
Pilar Sancho, Rubén Fuentes-Fernánde...