3820 search results - page 72 / 764 » Bounded Model Debugging |
119
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
154
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Tracking in a multipath environment poses many challenges. It is worth while to quantify the achievable performance bounds in such an environment. However finding the performance...
124
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
111
click to vote
AAAI
2008
15 years 4 months ago
2008
Modern Bayesian Network learning algorithms are timeefficient, scalable and produce high-quality models; these algorithms feature prominently in decision support model development...
102
click to vote
AUTOMATICA
2006
15 years 2 months ago
2006
A novel method for the robust identification of interpretable fuzzy models, based on the criterion that identification errors are least sensitive to data uncertainties and modelli...