9067 search results - page 261 / 1814 » Adaptive Model Checking |
176
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
159
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
214
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
The performance of an offline-trained classifier can be improved on-site by adapting the classifier towards newly acquired data. However, the adaptation rate is a tuning parame...
167
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
163
click to vote
FLAIRS
2001
15 years 8 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...