2869 search results - page 509 / 574 » The Inference Problem: A Survey |
108
click to vote
CADE
2012
Springer
13 years 11 days ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
AAAI
2012
13 years 11 days ago
2012
We propose a novel sequential decision approach to modeling ordinal ratings in collaborative filtering problems. The rating process is assumed to start from the lowest level, eva...
ICB
2009
Springer
15 years 4 months ago
2009
Springer
Biometric authentication using mobile devices is becoming a convenient and important means to secure access to remote services such as telebanking and electronic transactions. Such...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
The amount of information available on the Web has increased rapidly, reaching levels that few would ever have imagined possible. We live in what could be called the "informa...
RECOMB
2006
Springer
15 years 10 months ago
2006
Springer
Meiotic recombination is a fundamental biological event and one of the principal evolutionary forces responsible for shaping genetic variation within species. In addition to its fu...