Sciweavers

2631 search results - page 253 / 527
» Less is More
Sort
View
MICCAI
2008
Springer
16 years 6 months ago
Spherical Demons: Fast Surface Registration
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
B. T. Thomas Yeo, Mert R. Sabuncu, Tom Vercauter...
RE
2009
Springer
15 years 12 months ago
Trust Trade-off Analysis for Security Requirements Engineering
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
Golnaz Elahi, Eric S. K. Yu
SAT
2009
Springer
153views Hardware» more  SAT 2009»
15 years 12 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
143
Voted
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
15 years 11 months ago
Effects of Friction Parameters on Completion Times for Sustained Planar Positioning Tasks with a Haptic Interface
— Haptic interface devices and teleoperation masters are multiple degree of freedom devices manipulated by an operator to generate realtime motion commands to simulated environme...
Peter J. Berkelman, Ji Ma
HICSS
2005
IEEE
158views Biometrics» more  HICSS 2005»
15 years 11 months ago
Social Networks in Peer-to-Peer Systems
The Gnutella protocol requires peers to broadcast messages to their neighbours when they search files. The message passing generates a lot of traffic in the network, which degrade...
Yamini Upadrashta, Julita Vassileva, Winfried K. G...