1419 search results - page 75 / 284 » A Characterization of Constructive Dimension |
157
click to vote
CIE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
130
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
101
click to vote
TIT
1998
15 years 3 months ago
1998
— In this paper we introduce a class of nonlinear cyclic error-correcting codes, which we call subspace subcodes of Reed–Solomon (SSRS) codes. An SSRS code is a subset of a par...
140
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Several new applications and a number of new mathematical techniques have increased the research on errorcorrecting codes in the Lee metric in the last decade. In this work we cons...