5550 search results - page 299 / 1110 » Different Approaches to Proof Systems |
208
click to vote
ESWS
2005
Springer
16 years 6 days ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
175
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
168
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
194
click to vote
NIPS
2003
15 years 8 months ago
2003
Recent multi-agent extensions of Q-Learning require knowledge of other agents’ payoffs and Q-functions, and assume game-theoretic play at all times by all other agents. This pap...
179
click to vote
RAS
1998
15 years 6 months ago
1998
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...