3820 search results - page 92 / 764 » Bounded Model Debugging |
114
click to vote
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to efficiently model binary constraint problems (BCP) as integer programs. After considering tree-structured BCPs first, we show that a Sherali-Adams-like procedure r...
88
Voted
ICONIP
2004
15 years 3 months ago
2004
Abstract. This paper presents a neural-evolutionary framework for the simulation of market models in a bounded rationality scenario. Each agent involved in the scenario make use of...
128
click to vote
FUIN
2010
14 years 11 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
119
click to vote
TIT
2010
14 years 9 months ago
2010
For adversarial but computationally bounded models of error, we construct appealingly simple and efficient cryptographic encoding and unique decoding schemes whose error-correctio...
112
click to vote
FOCS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this work we study a wide range of online and offline routing and packing problems with various objectives. We provide a unified approach, based on a clean primal-dual method...