4940 search results - page 32 / 988 » On the Complexity of Universal Programs |
77
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
102
Voted
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
153
click to vote
JMLR
2012
13 years 4 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...
85
Voted
MPC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
112
Voted
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
Student employees are the lifeblood of many IT organizations, and we often invest a lot of time, energy and resources to ensure their success and ours. Academic Technology Service...