Sciweavers

10568 search results - page 356 / 2114
» Computer Intelligence and Formalization
Sort
View
AAAI
1998
15 years 5 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
AAAI
2012
13 years 6 months ago
Computing the Nucleolus of Matching, Cover and Clique Games
In cooperative games, a key question is to find a division of payoffs to coalition members in a fair manner. Nucleolus is one of such solution concepts that provides a stable sol...
Ning Chen, Pinyan Lu, Hongyang Zhang
IVA
2009
Springer
15 years 10 months ago
Evaluating Adaptive Feedback in an Educational Computer Game
In this paper, we present a study to evaluate the impact of adaptive feedback on the effectiveness of a pedagogical agent for an educational computer game. We compare a version of ...
Cristina Conati, Micheline Manske
IWINAC
2009
Springer
15 years 10 months ago
Eye-Hand Coordination for Reaching in Dorsal Stream Area V6A: Computational Lessons
Data related to the coordination and modulation between visual information, gaze direction and arm reaching movements in primates are analyzed from a computational point of view. T...
Eris Chinellato, Beata Grzyb, Nicoletta Marzocchi,...
ECAL
2007
Springer
15 years 10 months ago
Detecting Non-trivial Computation in Complex Dynamics
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
Joseph T. Lizier, Mikhail Prokopenko, Albert Y. Zo...