Sciweavers

AAAI
2008
15 years 8 months ago
Transferring Multi-device Localization Models using Latent Multi-task Learning
Vincent Wenchen Zheng, Sinno Jialin Pan, Qiang Yan...
AAAI
2007
15 years 8 months ago
Intention Guided Belief Revision
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
Timothy William Cleaver, Abdul Sattar
AAAI
2008
15 years 8 months ago
On the Power of Top-Down Branching Heuristics
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
Matti Järvisalo, Tommi A. Junttila