4341 search results - page 697 / 869 » Quantitative Model checking |
151
click to vote
FIMH
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
178
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a non-local kernel regression (NL-KR) method for image and video restoration tasks, which exploits both the non-local self-similarity and local structural regul...
198
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of mobile ad hoc sensor networks has brought new challenges to traditional network design. This paper focuses on the study at the application layer. In specific, it...
203
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
Graphene nanoribbon tunneling FETs (GNR TFETs) are promising devices for post-CMOS low-power applications because of the low subthreshold swing, high Ion/Ioff, and potential for l...
188
click to vote
ICPPW
2000
IEEE
15 years 11 months ago
2000
IEEE
Proxy caches have become a central mechanism for reducing the latency of web document retrieval. While caching alone reduces latency for previously requested documents, web docume...