797 search results - page 92 / 160 » Observing Success in the Pi-Calculus |
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
We describe results from Web search log studies aimed at elucidating user behaviors associated with queries and destination URLs that appear with different frequencies. We note th...
74
Voted
ASSETS
2005
ACM
14 years 11 months ago
2005
ACM
Failure in visual communication between the author and the colorblind reader is caused when color effects that the author expects for the reader to experience are not observed by...
COLT
2008
Springer
14 years 11 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
CLIMA
2010
14 years 11 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
LREC
2010
14 years 11 months ago
2010
This paper presents the process of development and the characteristics of an evaluation collection for a personalisation system for digital newspapers. This system selects, adapts...