Sciweavers

7055 search results - page 1095 / 1411
» Some New 4-Designs
Sort
View
BILDMED
2009
143views Algorithms» more  BILDMED 2009»
15 years 8 months ago
Landmark Constrained Non-parametric Image Registration with Isotropic Tolerances
Abstract. The incorporation of additional user knowledge into a nonrigid registration process is a promising topic in modern registration schemes. The combination of intensity base...
Nils Papenberg, Janine Olesch, Thomas Lange, Peter...
ATAL
2010
Springer
15 years 8 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ATAL
2010
Springer
15 years 8 months ago
Point-based policy generation for decentralized POMDPs
Memory-bounded techniques have shown great promise in solving complex multi-agent planning problems modeled as DEC-POMDPs. Much of the performance gains can be attributed to pruni...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
CLEF
2010
Springer
15 years 8 months ago
Building Strategies, a Year Later
Abstract. After participating in last year's CLEF IP (2009) evaluation benchmark, our scores were rather low. The CLEF IP 2010 PAC task enabled us to correct some experiments ...
Wouter Alink, Roberto Cornacchia, Arjen P. de Vrie...
CIDR
2009
123views Algorithms» more  CIDR 2009»
15 years 8 months ago
Requirements for Science Data Bases and SciDB
: For the past year, we have been assembling requirements from a collection of scientific data base users from astronomy, particle physics, fusion, remote sensing, oceanography, an...
Michael Stonebraker, Jacek Becla, David J. DeWitt,...
« Prev « First page 1095 / 1411 Last » Next »