602 search results - page 21 / 121 » Efficient Model Checking of Applications with Input Output |
DSD
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
ICONIP
2010
13 years 6 months ago
2010
Memory is often considered to be embedded into one of the attractors in neural dynamical systems, which provides an appropriate output depending on the initial state specified by ...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper presents the design and implementation of a wideband power amplifier for UWB applications, covering the lower band frequencies of 3.1 GHz to 4.8 GHz. To achi...
LSMS
2007
Springer
14 years 1 months ago
2007
Springer
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
FDG
2009
ACM
14 years 2 months ago
2009
ACM
Existing work on menu techniques has shown linear menus to be less efficient and reliable for menuing tasks when compared to radial menus. With the rise in popularity of 3D spatia...