Sciweavers

888 search results - page 171 / 178
» The Power of Temporal Proofs
Sort
View
ICDCSW
2009
IEEE
15 years 4 months ago
Embedded Virtual Machines for Robust Wireless Control Systems
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
Rahul Mangharam, Miroslav Pajic
CISS
2007
IEEE
15 years 4 months ago
Emitter Localization and Visualization (ELVIS): A Backward Ray Tracing Algorithm for Locating Emitters
— We present ELVIS, a new approach for localizing a first responder (e.g., firefighter) inside a building. We assume that the first responder emits RF energy, which undergoes...
Aliye Özge Kaya, Larry J. Greenstein, Dmitry ...
ISCAS
2006
IEEE
136views Hardware» more  ISCAS 2006»
15 years 3 months ago
An adaptable foveating vision chip
In this work we present an adaptable foveating vision biological eye has exceptionally good optomechanics. This chip. This chip has no physical foveation; all its pixels are in the...
Timothy G. Constandinou, Patrick Degenaar, Christo...
ISCAS
2006
IEEE
162views Hardware» more  ISCAS 2006»
15 years 3 months ago
Silicon neurons that phase-lock
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...
J. H. Wittig Jr., Kwabena Boahen
84
Voted
ISCAS
2006
IEEE
133views Hardware» more  ISCAS 2006»
15 years 3 months ago
Neuronal ion-channel dynamics in silicon
Abstract— We present a simple silicon circuit for modelling voltagedependent ion channels found within neural cells, capturing both the gating particle’s sigmoidal activation (...
Kai M. Hynna, Kwabena Boahen