11129 search results - page 2070 / 2226 » Modeling Search Computing Applications |
148
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
155
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
ā Reducing energy consumption has been a recent focus of wireless sensor network research. Topology control explores the potential that a dense network has for energy savings. On...
149
click to vote
HAPTICS
2006
IEEE
16 years 15 days ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...
201
click to vote
ICDE
2006
IEEE
16 years 15 days ago
2006
IEEE
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...
157
click to vote
ISMAR
2006
IEEE
16 years 14 days ago
2006
IEEE
Learning to play the guitar is difļ¬cult. We proposed a system that assists people learning to play the guitar using augmented reality. This system shows a learner how to correct...