Sciweavers

2925 search results - page 441 / 585
» Information Complexity of Online Problems
Sort
View
HF
2002
95views more  HF 2002»
15 years 3 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
TMI
2002
114views more  TMI 2002»
15 years 3 months ago
A Review of Cardiac Image Registration Methods
In this paper, the current status of cardiac image registration methods is reviewed. The combination of information from multiple cardiac image modalities, such as magnetic resonan...
Timo Mäkelä, Patrick Clarysse, Outi Sipi...
WINET
2002
138views more  WINET 2002»
15 years 3 months ago
An Architecture for Secure Wide-Area Service Discovery
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
Todd D. Hodes, Steven E. Czerwinski, Ben Y. Zhao, ...
PAMI
2007
164views more  PAMI 2007»
15 years 3 months ago
Space-Time Completion of Video
—This paper presents a new framework for the completion of missing information based on local structures. It poses the task of completion as a global optimization problem with a ...
Yonatan Wexler, Eli Shechtman, Michal Irani
IJDMB
2010
216views more  IJDMB 2010»
15 years 2 months ago
Struct-NB: predicting protein-RNA binding sites using structural features
: We explore whether protein-RNA interfaces differ from non-interfaces in terms of their structural features and whether structural features vary according to the type of the bound...
Fadi Towfic, Cornelia Caragea, David C. Gemperline...