1419 search results - page 61 / 284 » Notes on Formalizing Context |
158
Voted
ENTCS
2006
15 years 18 days ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
127
Voted
CSCW
2012
ACM
13 years 8 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
128
click to vote
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
99
Voted
WINE
2007
Springer
15 years 6 months ago
2007
Springer
We examine a formal model of sponsored search in which advertisers can bid not only on search terms, but on search terms under specific contexts. A context is any auxiliary infor...
94
Voted
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...