8067 search results - page 353 / 1614 » A Model Proposal of the Interoperability Problem |
133
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
172
click to vote
EMNLP
2010
15 years 3 months ago
2010
The PECO framework is a knowledge representation for formulating clinical questions. Queries are decomposed into four aspects, which are Patient-Problem (P), Exposure (E), Compari...
130
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
141
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
While noise is usually regarded as a problem of the image formation process, we observe that it is also frequently part of natural texture. In this paper, we present a concept for...
119
Voted
ACCV
2010
Springer
15 years 1 days ago
2010
Springer
Estimating the atmospheric or meteorological visibility distance is very important for air and ground transport safety, as well as for air quality. However, there is no holistic ap...