Sciweavers

3707 search results - page 162 / 742
» A Simple Technique for Self-Calibration
Sort
View
HPDC
1995
IEEE
15 years 10 months ago
Disk-Directed I/O for an Out-of-Core Computation
New file systems are critical to obtain good I/O performance on large multiprocessors. Several researchers have suggested the use of collective file-system operations, in which ...
David Kotz
CSFW
2010
IEEE
15 years 9 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
CSL
2008
Springer
15 years 8 months ago
On Isomorphisms of Intersection Types
The study of type isomorphisms for different -calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms o...
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, ...
FPLAY
2008
15 years 8 months ago
Experience in the design and development of a game based on head-tracking input
Tracking technologies, such as eye and head-tracking, provide novel techniques for interacting with video games. For instance, players can shoot with their eyes in a first person ...
Jeffrey Yim, Eric Qiu, T. C. Nicholas Graham
AAAI
2010
15 years 8 months ago
Active Inference for Collective Classification
Labeling nodes in a network is an important problem that has seen a growing interest. A number of methods that exploit both local and relational information have been developed fo...
Mustafa Bilgic, Lise Getoor