Sciweavers

2123 search results - page 171 / 425
» The study of models of intelligent interfaces
Sort
View
ATAL
2005
Springer
16 years 2 days ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...
KI
2009
Springer
16 years 1 months ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher
CEC
2007
IEEE
16 years 26 days ago
A rigorous view on neutrality
Abstract—Motivated by neutrality observed in natural evolution often redundant encodings are used in evolutionary algorithms. Many experimental studies have been carried out on t...
Benjamin Doerr, Michael Gnewuch, Nils Hebbinghaus,...
AIED
2005
Springer
16 years 2 days ago
Enhancing ITS instruction with integrated assessments of learner mood, motivation and gender
ITS instruction may be enhanced by models of student motivation and mood, in addition to cognitive skills and domain knowledge. In an initial study, self-assessments by high school...
Carole R. Beal, Erin Shaw, Yuan-Chun Chiu, Hyokyeo...
APN
1999
Springer
15 years 10 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud