Sciweavers

754 search results - page 133 / 151
» Generation of Signatures by Deformations
Sort
View
ENTCS
2007
126views more  ENTCS 2007»
13 years 7 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
WICOMM
2008
116views more  WICOMM 2008»
13 years 7 months ago
Arrayed MC-CDMA reception in space-time diffused multipath vector channels
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...
Farrukh Rashid, Athanassios Manikas
PRESENCE
1998
112views more  PRESENCE 1998»
13 years 7 months ago
The Sounds of Physical Shapes
We propose a general framework for the simulation of sounds produced by colliding physical objects in a virtual reality environment. The framework is based on the vibration dynami...
Kees van den Doel, Dinesh K. Pai
ICRA
2010
IEEE
467views Robotics» more  ICRA 2010»
13 years 6 months ago
WiFi localization and navigation for autonomous indoor mobile robots
— Building upon previous work that demonstrates the effectiveness of WiFi localization information per se, in this paper we contribute a mobile robot that autonomously navigates ...
Joydeep Biswas, Manuela M. Veloso
INFOCOM
2010
IEEE
13 years 6 months ago
Towards Mobile Phone Localization without War-Driving
Abstract—This paper identifies the possibility of using electronic compasses and accelerometers in mobile phones, as a simple and scalable method of localization without war-dri...
Ionut Constandache, Romit Roy Choudhury, Injong Rh...