10038 search results - page 1977 / 2008 » Model Checking for Managers |
ESA
2007
Springer
14 years 16 days ago
2007
Springer
We consider the price of selfish routing in terms of tradeoffs and from an average-case perspective. Each player in a network game seeks to send a message with a certain length by...
EXPCS
2007
14 years 16 days ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
FBIT
2007
IEEE
14 years 16 days ago
2007
IEEE
In this pilot study, we developed a set of computer vision based surface segmentation and statistical shape analysis algorithms to study genetic influences on brain structure in a...
SIGIR
2010
ACM
14 years 16 days ago
2010
ACM
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...
SIGIR
2010
ACM
14 years 16 days ago
2010
ACM
Blog post opinion retrieval aims at finding blog posts that are relevant and opinionated about a user’s query. In this paper we propose a simple probabilistic model for assigni...