3820 search results - page 114 / 764 » Bounded Model Debugging |
107
click to vote
DCC
2003
IEEE
15 years 7 months ago
2003
IEEE
- Rate-distortion theory is applied to the problem of joint compression and classification. A Lagrangian distortion measure is used to consider both the squared Euclidean error in ...
120
Voted
CPM
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a new dimension to the widely studied on-line approximate string matching problem, by introducing an error threshold parameter so that the algorithm is allowed to mis...
104
Voted
SODA
2008
ACM
15 years 3 months ago
2008
ACM
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
JSAC
2006
15 years 2 months ago
2006
The design of pricing mechanisms for network resource allocation has two important objectives: 1) a simple and scalable end-to-end implementation and 2) efficiency of the resulting...
110
click to vote
SYNTHESE
2010
15 years 27 days ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...