Sciweavers

Share
16 search results - page 2 / 4
» ai 2016
Sort
View
AI
2016
Springer
4 years 4 months ago
Exploiting local and repeated structure in Dynamic Bayesian Networks
We introduce the structural interface algorithm for exact probabilistic inference in dynamic Bayesian networks. It unifies state-of-the-art techniques for inference in static and...
Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck...
AI
2016
Springer
4 years 4 months ago
The scope and limits of simulation in automated reasoning
: In scientific computing and in realistic graphic animation, simulation — that is, step-by-step calculation of the complete trajectory of a physical system — is one of the mos...
Ernest Davis, Gary Marcus
ALGORITHMICA
2016
4 years 4 months ago
Optimal Encodings for Range Majority Queries
We study the problem of designing a data structure that reports the positions of the distinct τ-majorities within any range of an array A[1, n], without storing A. A τ-majority ...
Gonzalo Navarro, Sharma V. Thankachan
AI
2016
Springer
4 years 4 months ago
Certain answers as objects and knowledge
The standard way of answering queries over incomplete databases is to compute certain answers, defined as the intersection of query answers on all complete databases that the inc...
Leonid Libkin
AI
2016
Springer
4 years 4 months ago
SATenstein: Automatically building local search SAT solvers from components
Designing high-performance algorithms for computationally hard problems is a difficult and often time-consuming task. In this work, we demonstrate that this task can be automated...
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Ke...
books