Sciweavers

2229 search results - page 389 / 446
» Abstract Storage Devices
Sort
View
VIIP
2001
13 years 10 months ago
Collision Handling and Shadow Casting in Virtual-Prismaker
Abstract. Our research team is developing a computer construction game called VirtualPrismaker based on the physical game Prismakertm . We have had to deal with all typical and ess...
Víctor López-Jaquero, Antonio Fern&a...
WIS
2003
13 years 10 months ago
Wireless Internet Service Development
Abstract. The new wireless technologies for telecommunications networks and devices will enable new kinds of mobile services [7] and create enormous business opportunities [2]. Eff...
Päivi Kallio, Arto Matilainen, Daniela Boggio...
TPCD
1994
157views Hardware» more  TPCD 1994»
13 years 10 months ago
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
John W. O'Leary, Miriam Leeser, Jason Hickey, Mark...
EUROPAR
2010
Springer
13 years 9 months ago
Collaborative Cellular-Based Location System
Abstract. A large number of techniques for location estimation relying on the existing wireless radio infrastructures have been proposed in the last few years. Solutions relying on...
David Navalho, Nuno M. Preguiça
HAPTICS
2008
IEEE
13 years 9 months ago
Tactor Localization at the Wrist
Abstract. The present study examined our ability to identify the location of a single vibration delivered to the dorsal and/or volar side of the forearm near the wrist. Three parti...
Hsiang-Yu Chen, Joseph Santos, Matthew Graves, Kwa...