Sciweavers

3690 search results - page 485 / 738
» Computation with classical sequents
Sort
View
EUC
2007
Springer
15 years 10 months ago
An Efficient Authentication Protocol for RFID Systems Resistant to Active Attacks
Traditional cryptographic primitives are not supported on low-cost RFID tags since, at most, 4K gates can be devoted to securityrelated tasks. Despite this, there are a vast number...
Pedro Peris-Lopez, Julio César Herná...
EWSN
2007
Springer
15 years 10 months ago
Improving the Energy Efficiency of the MANTIS Kernel
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. ...
ICCV
2007
IEEE
15 years 10 months ago
Efficient Generic Calibration Method for General Cameras with Single Centre of Projection
Generic camera calibration is a non-parametric calibration technique that is applicable to any type of vision sensor. However, the standard generic calibration method was develope...
Aubrey K. Dunne, John Mallon, Paul F. Whelan
ACMACE
2006
ACM
15 years 10 months ago
Use of eye movements for video game control
We present a study that explores the use of a commercially available eye tracker as a control device for video games. We examine its use across multiple g...
J. David Smith, T. C. Nicholas Graham
CGI
2004
IEEE
15 years 10 months ago
Surface Models of Tube Trees
This paper describes a new method for generating surfaces of branching tubular structures with given centerlines and radii. As the centerlines are not straight lines, the cross-se...
Petr Felkel, Rainer Wegenkittl, Katja Bühler