Sciweavers

1892 search results - page 61 / 379
» Warren's Abstract Machine
Sort
View
ISCAS
2007
IEEE
134views Hardware» more  ISCAS 2007»
14 years 4 months ago
Florida Wireless Implantable Recording Electrodes (FWIRE) for Brain Machine Interfaces
Abstract— This paper reviews on-going efforts towards the development of the Florida Wireless Implantable Recording Electrodes (FWIRE). The FWIRE microsystem platform is a fully ...
Rizwan Bashirullah, John G. Harris, Justin C. Sanc...
ISCAS
2005
IEEE
113views Hardware» more  ISCAS 2005»
14 years 3 months ago
On the robustness of an analog VLSI implementation of a time encoding machine
Abstract— Time encoding is a mechanism for representing the information contained in a continuous time, bandlimited, analog signal as the zero-crossings of a binary signal. Time ...
Peter R. Kinget, Aurel A. Lazar, Laszlo T. Toth
TYPES
2004
Springer
14 years 3 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
AWIC
2003
Springer
14 years 3 months ago
A Machine Learning Based Evaluation of a Negotiation between Agents Involving Fuzzy Counter-Offers
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
Javier Carbo Rubiera, Agapito Ledezma
GW
1997
Springer
92views Biometrics» more  GW 1997»
14 years 2 months ago
Neural Architecture for Gesture-Based Human-Machine-Interaction
Abstract. We present a neural architecture for gesture-based interaction between a mobile robot and human users. One crucial problem for natural interface techniques is the robustn...
Hans-Joachim Böhme, Anja Brakensiek, Ulf-Diet...