4224 search results - page 759 / 845 » Reasoning about Choice |
133
Voted
CORR
2008
Springer
15 years 22 days ago
2008
Springer
We initiate the study of an interesting aspect of sponsored search advertising, namely the consequences of broad match- a feature where an ad of an advertiser can be mapped to a b...
CCR
2006
15 years 21 days ago
2006
If despite your better judgment you decide to read this article, keep in mind that it was written during the summer, and this has been the hottest summer ever. To avoid such artic...
158
Voted
ENTCS
2006
15 years 19 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...
105
Voted
JUCS
2008
15 years 18 days ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
112
click to vote
FAC
2007
15 years 18 days ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...