3820 search results - page 251 / 764 » Bounded Model Debugging |
136
Voted
MST
2010
15 years 2 months ago
2010
We study the sensitivity of equilibria in the well-known game theoretic traffic model due to Wardrop. We mostly consider single-commodity networks. Suppose, given a unit demand fl...
118
Voted
TSP
2010
14 years 10 months ago
2010
We consider the problem of recursively and causally reconstructing time sequences of sparse signals (with unknown and time-varying sparsity patterns) from a limited number of noisy...
101
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
We present an extremely minimal ecosystem model which takes account of thermodynamic constraints on the organisms’ metabolism. This suggests a way to test the application of a hy...
109
Voted
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
This work introduces a new query inference model that can access data and communicate with a teacher by asking finitely many boolean queries in a language L. In this model the pa...
148
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...