Sciweavers

21183 search results - page 4151 / 4237
» Adaptive Testing by Test
Sort
View
JAR
2000
145views more  JAR 2000»
15 years 3 months ago
Logical Cryptanalysis as a SAT Problem
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
Fabio Massacci, Laura Marraro
JCNS
2000
165views more  JCNS 2000»
15 years 3 months ago
A Population Density Approach That Facilitates Large-Scale Modeling of Neural Networks: Analysis and an Application to Orientati
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
Duane Q. Nykamp, Daniel Tranchina
JCNS
2000
86views more  JCNS 2000»
15 years 3 months ago
Computational Modeling of Orientation Tuning Dynamics in Monkey Primary Visual Cortex
In the primate visual pathway, orientation tuning of neurons is first observed in the primary visual cortex. The LGN cells that comprise the thalamic input to V1 are not orientati...
M. C. Pugh, Dario L. Ringach, Robert Shapley, M. J...
123
Voted
JCNS
2000
78views more  JCNS 2000»
15 years 3 months ago
Computational Consequences of Temporally Asymmetric Learning Rules: II. Sensory Image Cancellation
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
Patrick D. Roberts, Curtis C. Bell
JPDC
2000
141views more  JPDC 2000»
15 years 3 months ago
A System for Evaluating Performance and Cost of SIMD Array Designs
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
Martin C. Herbordt, Jade Cravy, Renoy Sam, Owais K...
« Prev « First page 4151 / 4237 Last » Next »