3820 search results - page 272 / 764 » Bounded Model Debugging |
154
click to vote
WINE
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
127
Voted
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
107
click to vote
ASYNC
2002
IEEE
15 years 8 months ago
2002
IEEE
Events in self-timed rings can propagate evenly spaced or as bursts. By studying these phenomena, we obtain a better understanding of the underlying dynamics of self-timed pipelin...
137
click to vote
AAAI
2008
15 years 6 months ago
2008
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
113
click to vote
WSC
2004
15 years 5 months ago
2004
The stochastic root-finding problem (SRFP) is that of solving a system of q equations in q unknowns using only an oracle that provides estimates of the function values. This paper...