7383 search results - page 97 / 1477 » Theories of information behavior |
164
click to vote
TYPES
1999
Springer
15 years 10 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
139
click to vote
SIGECOM
2009
ACM
16 years 24 days ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
181
click to vote
WWW
2010
ACM
16 years 23 days ago
2010
ACM
This paper is concerned with actively predicting search intent from user browsing behavior data. In recent years, great attention has been paid to predicting user search intent. H...
176
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...