6608 search results - page 1143 / 1322 » On the Completeness of Model Checking |
159
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
122
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
A new localized and computationally efficient approach is presented for shift/space-variant image restoration. Unlike conventional approaches, it models shift-variant blurring in...
142
click to vote
ICIW
2008
IEEE
15 years 11 months ago
2008
IEEE
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main p...
118
click to vote
ICNS
2008
IEEE
15 years 11 months ago
2008
IEEE
—To provide seamless mobility to the wireless user, a continuous connection to the Internet is required while moving from one administration domain to another. To enable continuo...
128
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Selective data return leverages onboard data analysis to allocate limited bandwidth resources during remote exploration. Here we present an adaptive method to subsample image s...