Sciweavers

2904 search results - page 99 / 581
» Valuing Design Repair
Sort
View
POPL
2003
ACM
14 years 9 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
AAAI
2012
11 years 11 months ago
Optimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter Domains
In AI research, mechanism design is typically used to allocate tasks and resources to agents holding private information about their values for possible allocations. In this conte...
Lachlan Thomas Dufton, Victor Naroditskiy, Maria P...
AI
2006
Springer
14 years 29 days ago
Belief Selection in Point-Based Planning Algorithms for POMDPs
Abstract. Current point-based planning algorithms for solving partially observable Markov decision processes (POMDPs) have demonstrated that a good approximation of the value funct...
Masoumeh T. Izadi, Doina Precup, Danielle Azar
AIPS
2008
13 years 11 months ago
Bounded-Parameter Partially Observable Markov Decision Processes
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
Yaodong Ni, Zhi-Qiang Liu
EGOV
2008
Springer
13 years 11 months ago
eGovernment Project Evaluation: An Integrated Framework
Recently, the EU government has put a lot of effort into modernizing its public sectors using advanced information and communication technology (ICT). Together with various univers...
Jianwei Liu, Zsófia Derzsi, Marta Raus, Ale...