Sciweavers

873 search results - page 18 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
AIEDU
2007
101views more  AIEDU 2007»
15 years 1 months ago
Evaluating the Effect of Open Student Models on Self-Assessment
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
Antonija Mitrovic, Brent Martin
WEBI
2001
Springer
15 years 6 months ago
An Effective Conversational Agent with User Modeling Based on Bayesian Network
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
Seung-Ik Lee, Chul Sung, Sung-Bae Cho
WSC
1994
15 years 3 months ago
Inside simulation software: how it works and why it matters
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
Thomas J. Schriber, Daniel T. Brunner
LICS
1997
IEEE
15 years 6 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
15 years 11 months ago
Hybrid CEGAR: combining variable hiding and predicate abstraction
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta