Sciweavers

11455 search results - page 1830 / 2291
» The Rayset and Its Applications
Sort
View
NIPS
2008
15 years 8 months ago
Tracking Changing Stimuli in Continuous Attractor Neural Networks
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
C. C. Alan Fung, K. Y. Michael Wong, Si Wu
NIPS
2008
15 years 8 months ago
Differentiable Sparse Coding
Prior work has shown that features which appear to be biologically plausible as well as empirically useful can be found by sparse coding with a prior such as a laplacian (L1) that...
J. Andrew Bagnell, David M. Bradley
ISTA
2007
15 years 8 months ago
Constructing POSE: A Tool for Eliciting Quality Requirements
: Quality requirements elicitation for new computer applications rests traditionally on interviewing stakeholders. That makes getting these requirements right more complicated than...
Vladimir A. Shekhovtsov, Roland Kaschek, Sergiy Zl...
PST
2008
15 years 8 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
166
Voted
MSV
2007
15 years 8 months ago
Visualizing the Inner Structure of N-Body Data Using Skeletonization
N-body simulations solve the n-body problem numerically and determine the trajectories of the n point masses. The result of these calculations is a huge amount of data detailing th...
Edward Dale, Hans-Peter Bischof
« Prev « First page 1830 / 2291 Last » Next »