42 search results - page 2 / 9 » Automated Assume-Guarantee Reasoning through Implicit Learni... |
ILP
2005
Springer
13 years 10 months ago
2005
Springer
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...
ICCBR
2005
Springer
13 years 10 months ago
2005
Springer
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...
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
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 ...
ICCBR
2005
Springer
13 years 10 months ago
2005
Springer
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...