Sciweavers

42 search results - page 2 / 9
» Automated Assume-Guarantee Reasoning through Implicit Learni...
Sort
View
ILP
2005
Springer
14 years 4 months ago
Guiding Inference Through Relational Reinforcement Learning
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
Nima Asgharbeygi, Negin Nejati, Pat Langley, Sachi...
ICCBR
2005
Springer
14 years 4 months ago
Game-Based Learning as a New Domain for Case-Based Reasoning
Tutoring systems have been a popular domain for CBR since its very beginning. In this paper we draw a connection between casebased teaching and learning-by-doing approach to tutori...
Marco Antonio Gómez-Martín, Pedro Pa...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 11 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
HICSS
2003
IEEE
202views Biometrics» more  HICSS 2003»
14 years 4 months ago
Automated Coaching of Collaboration Based on Workspace Analysis: Evaluation and Implications for Future Learning Environments
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
María de los Angeles Constantino-Gonz&aacut...
ICCBR
2005
Springer
14 years 4 months ago
Advertising Strategies: Learning Competence through Cooperative Game Playing
In this paper we consider the competition on the Internet between information providers to maximise their exposure to a relevant audience. Spammers and Search engine gamers adopt a...
Paolo Avesani, Conor Hayes