10447 search results - page 354 / 2090 » The Philosophy of Computer Science |
211
click to vote
FOCS
2010
IEEE
15 years 5 months ago
2010
IEEE
We initiate the study of testing properties of images that correspond to sparse 0/1-valued matrices of size n
200
Voted
UPP
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
161
click to vote
MFCS
2001
Springer
15 years 12 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...