395 search results - page 37 / 79 » Decision Problems for Convex Languages |
153
click to vote
DAC
2005
ACM
16 years 24 days ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
SARA
2007
Springer
15 years 6 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
114
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
113
click to vote
SIGECOM
2010
ACM
15 years 4 months ago
2010
ACM
Motivated by the allocation problem facing publishers in display advertising we formulate the online assignment with forecast problem, a version of the online allocation problem w...