Sciweavers

470 search results - page 43 / 94
» Reading a Neural Code
Sort
View
TIT
1998
93views more  TIT 1998»
14 years 11 months ago
Multihead Detection for Multitrack Recording Channels
— We look at multiple-track detection for magnetic recording systems that use array heads to write and read over multiple tracks simultaneously. The recording channel is modeled ...
Emina Soljanin, Costas N. Georghiades
OOPSLA
2010
Springer
14 years 10 months ago
A time-aware type system for data-race protection and guaranteed initialization
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
Nicholas D. Matsakis, Thomas R. Gross
POPL
2011
ACM
14 years 2 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
103
Voted
CAIP
2009
Springer
156views Image Analysis» more  CAIP 2009»
15 years 6 months ago
Bio-inspired Approach for the Recognition of Goal-Directed Hand Actions
The recognition of transitive, goal-directed actions requires a sensible balance between the representation of specific shape details of effector and goal object and robustness w...
Falk Fleischer, Antonino Casile, Martin A. Giese
ICA
2007
Springer
15 years 6 months ago
Hierarchical ALS Algorithms for Nonnegative Matrix and 3D Tensor Factorization
In the paper we present new Alternating Least Squares (ALS) algorithms for Nonnegative Matrix Factorization (NMF) and their extensions to 3D Nonnegative Tensor Factorization (NTF) ...
Andrzej Cichocki, Rafal Zdunek, Shun-ichi Amari