3820 search results - page 189 / 764 » Bounded Model Debugging |
114
click to vote
AAAI
1994
15 years 4 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
111
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
For m-input, m-output, finite-dimensional, linear systems satisfying the classical assumptions of adaptive control (i.e., (i) minimum phase, (ii) relative degree one and (iii) pos...
118
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministi...
124
click to vote
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
138
click to vote
COCOA
2008
Springer
15 years 4 months ago
2008
Springer
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of sol...