Sciweavers

1301 search results - page 208 / 261
» Specifications via Realizability
Sort
View
AIEDU
2005
135views more  AIEDU 2005»
13 years 7 months ago
Simulating Instructional Roles through Pedagogical Agents
This paper describes the design and empirical validation of three distinct pedagogical agent roles (Expert, Motivator, and Mentor) for college students within the MIMIC (Multiple I...
Amy L. Baylor, Yanghee Kim
SYNTHESE
2008
102views more  SYNTHESE 2008»
13 years 7 months ago
Epistemic comparative conditionals
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
Linton Wang
JCIT
2007
84views more  JCIT 2007»
13 years 7 months ago
Using Educational Technology to Attain English-Level Inclusion for Asian Business/Technology Students
Just about if not every Native English Speaking Teacher (NEST) in Korea has faced the situation of having to accommodate students with varying, sometimes to dramatic degrees, leve...
David W. Deeds
JCP
2007
153views more  JCP 2007»
13 years 7 months ago
An Integrated Educational Platform Implementing Real, Remote Lab-Experiments for Electrical Engineering Courses
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
Dimitris Karadimas, Kostas Efstathiou
AAMAS
2002
Springer
13 years 7 months ago
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...
Katia P. Sycara, Seth Widoff, Matthias Klusch, Jia...