Sciweavers

8 search results - page 1 / 2
» jal 2008
Sort
View
JAL
2008
58views more  JAL 2008»
13 years 4 months ago
Model checking with Boolean Satisfiability
João Marques-Silva
JAL
2007
69views more  JAL 2007»
13 years 4 months ago
Strategies and simulations in a semantic framework
Narciso Martí-Oliet, Miguel Palomino, Alber...
JAL
2008
139views more  JAL 2008»
13 years 4 months ago
A test suite for the evaluation of mixed multi-unit combinatorial auctions
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
Meritxell Vinyals, Andrea Giovannucci, Jesú...
JAL
2007
95views more  JAL 2007»
13 years 4 months ago
Computing shortest paths with uncertainty
Abstract. We consider the problem of estimating the length of a shortest path in a DAG whose edge lengths are known only approximately but can be determined exactly at a cost. Init...
Tomás Feder, Rajeev Motwani, Liadan O'Calla...
JAL
2008
83views more  JAL 2008»
13 years 4 months ago
Objective Bayesian probabilistic logic
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
Jon Williamson