Sciweavers

1581 search results - page 214 / 317
» Domain semantics of possibility computations
Sort
View
FROCOS
2007
Springer
15 years 6 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
83
Voted
ATAL
2004
Springer
15 years 6 months ago
Experiments on Deliberation Equilibria in Auctions
Auctions are useful mechanisms for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders know their own valua...
Kate Larson, Tuomas Sandholm
113
Voted
IJCAI
2007
15 years 2 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup
MSV
2007
15 years 2 months ago
FMC-QE: A New Approach in Quantitative Modeling
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
Werner Zorn
127
Voted
ISVC
2009
Springer
15 years 7 months ago
Cross-Correlation and Rotation Estimation of Local 3D Vector Field Patches
In this paper, we present a method for the fast and accurate computation of the local cross-correlation of 3D vectorial data. Given spherical patches of 3D vector fields, our meth...
Janis Fehr, Marco Reisert, Hans Burkhardt