566 search results - page 104 / 114 » A method for evaluating elicitation schemes for probabilisti... |
ENTCS
2008
13 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
WISE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Association rule mining algorithms such as Apriori were originally developed to automatically detect patterns in sales transactions and were later on also successfully ap...
ECCV
2010
Springer
13 years 9 months ago
2010
Springer
Detecting objects, estimating their pose and recovering 3D shape information is a critical problem in many vision and robotics applications. This paper addresses the above needs by...
EMMCVPR
2003
Springer
14 years 18 days ago
2003
Springer
The asymptotic distribution of estimates that are based on a sub-optimal search for the maximum of the log-likelihood function is considered. In particular, estimation schemes that...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
IPTV services are the fastest growing television services in the world today. This is a bandwidth intensive service, requiring low latency and tight control of jitter. To guarante...