3820 search results - page 432 / 764 » Bounded Model Debugging |
119
click to vote
IJCAI
2007
15 years 5 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
144
click to vote
WCET
2008
15 years 5 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
112
click to vote
ACL
2001
15 years 5 months ago
2001
Current alternatives for language modeling are statistical techniques based on large amounts of training data, and hand-crafted context-free or finite-state grammars that are diff...
138
Voted
NSDI
2004
15 years 5 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
131
click to vote
NIPS
2001
15 years 5 months ago
2001
We describe an algorithm for automatically learning discriminative components of objects with SVM classifiers. It is based on growing image parts by minimizing theoretical bounds ...