4940 search results - page 137 / 988 » On the Complexity of Universal Programs |
158
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Recently, significant attention in compressed sensing has been focused on Basis Pursuit, exchanging the cardinality operator with the l1-norm, which leads to a linear formulation...
152
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
145
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
143
click to vote
HOPL
2007
15 years 8 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
131
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...