6020 search results - page 796 / 1204 » A New Approach to Model Counting |
202
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. As retrieval systems become more complex, learning to rank approaches are being developed to automatically tune their parameters. Using online learning to rank approaches...
179
click to vote
AAAI
2011
14 years 6 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
246
click to vote
DAGM
2011
Springer
14 years 6 months ago
2011
Springer
Hybrid registration schemes are a powerful alternative to fully automatic registration algorithms. Current methods for hybrid registration either include the landmark information a...
247
click to vote
Publication
Providing methods to support semantic interaction with growing volumes of video data is an increasingly important challenge for data mining. To this end, there has been some succes...
160
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...