Sciweavers

10568 search results - page 356 / 2114
» Computer Intelligence and Formalization
Sort
View
AAAI
1998
15 years 9 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 10 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
16 years 2 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
16 years 2 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
16 years 1 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...