Sciweavers

1055 search results - page 169 / 211
» Enumerations in computable structure theory
Sort
View
HAPTICS
2006
IEEE
14 years 1 months ago
Pseudo-admittance Bilateral Telemanipulation with Guidance Virtual Fixtures
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
Jake J. Abbott, Allison M. Okamura
CF
2006
ACM
14 years 1 months ago
A nano-scale reconfigurable mesh with spin waves
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...
Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun,...
HAPTICS
2005
IEEE
14 years 1 months ago
Selective Stimulation to Superficial Mechanoreceptors by Temporal Control of Suction Pressure
In this paper we propose a new set of primitives to realize a large-area covering realistic tactile display. They stimulate the skin surface with suction pressure (SPS method) as ...
Yasutoshi Makino, Hiroyuki Shinoda
TRIDENTCOM
2005
IEEE
14 years 1 months ago
A Geography-Aware Scalable Community Wireless Network Test Bed
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
Bow-Nan Cheng, Shivkumar Kalyanaraman, Max Klein
CCS
2005
ACM
14 years 1 months ago
Provable anonymity
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Pe...