2374 search results - page 181 / 475 » Automatic Generation of Model Translations |
195
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
188
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
154
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper introduces the novel task of topic coherence evaluation, whereby a set of words, as generated by a topic model, is rated for coherence or interpretability. We apply a r...
142
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
In this work we propose an image registration algorithm to automatically fit protein atomic domain models into medium-resolution three-dimensional electron microscopy reconstructi...
174
click to vote
WSCG
2003
15 years 8 months ago
2003
We present techniques for automatically creating and animating models obtained from human whole body scanned data. A layered model is developed in which the underlying skeleton, s...