9405 search results - page 220 / 1881 » Computing a Model of Set Theory |
117
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This is an overview of the robust resource allocation research efforts that have been and continue to be conducted by the CSU Robustness in Computer Systems Group. Parallel and di...
138
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
An important problem in resource management for networked resource-sharing systems is the simultaneous allocation of multiple resources to an application. Selfoptimizing systems m...
116
click to vote
COGSCI
2010
15 years 3 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
125
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris ...
88
Voted
TCS
1998
15 years 3 months ago
1998
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...