6756 search results - page 1012 / 1352 » The Structure of Visual Spaces |
158
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
167
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider Bayesian detection/classification of discrete random parameters that are strongly dependent locally due to some deterministic local constraint. Based on the recently ...
174
click to vote
IPL
2010
15 years 5 months ago
2010
We derive a new generalization of lowest common ancestors (LCAs) in dags, called the lowest single common ancestor (LSCA). We show how to preprocess a static dag in linear time su...
181
click to vote
TCBB
2010
15 years 5 months ago
2010
— We present efficient cache-oblivious algorithms for some well-studied string problems in bioinformatics including the longest common subsequence, global pairwise sequence alig...
169
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
– This paper provides a partial answer to the question: "what is the best angular density of multipath in MIMO channels?" using the size-asymptotic theory of Toeplitz m...