13026 search results - page 2481 / 2606 » Probabilistic Relational Models |
154
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
: In December of 2010, the new game CityVille achieved 6 million daily active users in just 8 days. Clearly the success of CityVille owes something to the fun gameplay experience i...
161
Voted
MCS
2011
Springer
14 years 6 months ago
2011
Springer
: In the tourism demand literature, much of the research focuses on income and price variables as demand determinants for travel. Nevertheless, the literature has neglected other p...
140
Voted
NAR
2011
14 years 6 months ago
2011
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
176
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
144
Voted
SIGIR
2011
ACM
14 years 6 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...