Sciweavers

498 search results - page 43 / 100
» Cooperation with Complement is Better
Sort
View
94
Voted
MICCAI
2008
Springer
16 years 1 months ago
Nonrigid Registration of Dynamic Renal MR Images Using a Saliency Based MRF Model
Nonrigid registration of contrast-enhanced MR images is a difficult problem due to the change in pixel intensity caused by the washin and wash-out of the contrast agent. In this pa...
Dwarikanath Mahapatra, Ying Sun
82
Voted
CAV
2009
Springer
181views Hardware» more  CAV 2009»
16 years 1 months ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram
CHI
2008
ACM
16 years 27 days ago
Undercover: authentication usable in front of prying eyes
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
Hirokazu Sasamoto, Nicolas Christin, Eiji Hayashi
91
Voted
PERCOM
2007
ACM
16 years 3 days ago
A Wall-Sized Focus Plus Context Display
In this paper we present a wall-sized input system with high accuracy input in the center and lower precision tracking on the remaining parts of the wall. This work complements th...
Sebastian Boring, Otmar Hilliges, Andreas Butz
93
Voted
ESSOS
2010
Springer
15 years 9 months ago
Experiences with PDG-Based IFC
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
Christian Hammer