20294 search results - page 102 / 4059 » Algorithmic Information Theory |
168
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We develop neurally plausible local competitive algorithms (LCAs) for reconstructing compressively sensed images. Reconstruction requires solving a sparse approximation ...
194
click to vote
DOLAP
2000
ACM
15 years 11 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
170
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
138
click to vote
ICIS
1997
15 years 8 months ago
1997
This paper extends the resource-based view of the firm to a less developed country situation by challenging three boundary conditions associated with the theory: first, the theory...
174
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...