Sciweavers

819 search results - page 75 / 164
» Terahertz sensing technology
Sort
View
ICPP
2007
IEEE
15 years 4 months ago
VIRE: Active RFID-based Localization Using Virtual Reference Elimination
RFID technologies are gaining much attention as they are attractive solutions to many application domains. Localization based on active RFID technologies provides a much needed ad...
Yiyang Zhao, Yunhao Liu, Lionel M. Ni
CANDC
2005
ACM
14 years 11 months ago
Causality and virtual reality art
In this paper, we discuss how a cognitive concept, causality, can be used for the conceptual underpinning of Virtual Reality Art installations. Causality plays an important role i...
Marc Cavazza, Jean-Luc Lugrin, Sean Crooks, Alok N...
DAGSTUHL
2001
14 years 11 months ago
A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
Christopher D. Hundhausen, Sarah A. Douglas
FORTE
1994
14 years 11 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
EUROSSC
2008
Springer
14 years 11 months ago
Exploring the Design of Pay-Per-Use Objects in the Construction Domain
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...
Daniel Fitton, Vasughi Sundramoorthy, Gerd Kortuem...