4502 search results - page 671 / 901 » Regular Model Checking |
206
click to vote
BILDMED
2007
15 years 7 months ago
2007
We introduce a new hybrid approach for spline-based elastic image registration using both point landmarks and intensity information. As underlying deformation model we use Gaussian...
194
click to vote
NIPS
2008
15 years 7 months ago
2008
In this paper, we address the question of what kind of knowledge is generally transferable from unlabeled text. We suggest and analyze the semantic correlation of words as a gener...
159
click to vote
OPODIS
2008
15 years 7 months ago
2008
Kleinberg [17] proposed in 2000 the first random graph model achieving to reproduce small world navigability, i.e. the ability to greedily discover polylogarithmic routes between a...
222
click to vote
UAI
2008
15 years 7 months ago
2008
Numerous temporal inference tasks such as fault monitoring and anomaly detection exhibit a persistence property: for example, if something breaks, it stays broken until an interve...
159
click to vote
FLAIRS
2001
15 years 7 months ago
2001
To successfully interact with users in providing useful information, intelligent user interfaces need a mechanism for recognizing, characterizing, and predicting user actions. In ...