Sciweavers

1021 search results - page 122 / 205
» Concepts in Proof Planning
Sort
View
ECAI
2010
Springer
13 years 10 months ago
On Finding Compromise Solutions in Multiobjective Markov Decision Processes
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
Patrice Perny, Paul Weng
INFORMATICALT
2000
110views more  INFORMATICALT 2000»
13 years 8 months ago
A Game Theoretic Analysis of Mechanisms to Induce Regional Technological Cooperation
A concept of regional technological cooperation is developed based on a cooperative game theoretic model, in which a plan of payoff distributions induces an agreement that is accep...
Hanif D. Sherali, Qing Li
HCI
2009
13 years 6 months ago
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
Edgardo Avilés-López, J. Antonio Gar...
TAPAS
2011
286views Algorithms» more  TAPAS 2011»
13 years 3 months ago
Alternative Route Graphs in Road Networks
Every human likes choices. But today’s fast route planning algorithms usually compute just a single route between source and target. There are beginnings to compute alternative r...
Roland Bader, Jonathan Dees, Robert Geisberger, Pe...
ATAL
2007
Springer
14 years 3 months ago
Scaling-up shopbots: a dynamic allocation-based approach
In this paper we consider the problem of eCommerce comparison shopping agents (shopbots) that are limited by capacity constraints. In light of the phenomenal increase both in dema...
David Sarne, Sarit Kraus, Takayuki Ito