Sciweavers

2373 search results - page 131 / 475
» Complexities for generalized models of self-assembly
Sort
View
140
Voted
PODS
2010
ACM
205views Database» more  PODS 2010»
15 years 9 months ago
Positive higher-order queries
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
Michael Benedikt, Gabriele Puppis, Huy Vu
IEEECIT
2010
IEEE
15 years 3 months ago
Understanding Resource Provisioning for ClimatePrediction.net
—Peer-to-peer computing, involving the participation of thousands of general purpose, public computers, has established itself as a viable paradigm for executing looselycoupled, ...
Malik Shahzad Kaleem Awan, Stephen A. Jarvis
COLT
1995
Springer
15 years 8 months ago
Regression NSS: An Alternative to Cross Validation
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
Michael P. Perrone, Brian S. Blais
SIGECOM
2005
ACM
101views ECommerce» more  SIGECOM 2005»
15 years 10 months ago
Fairness and optimality in congestion games
We study two problems, that of computing social optimum and that of finding fair allocations, in the congestion game model of Milchtaich[8] Although we show that the general prob...
Deeparnab Chakrabarty, Aranyak Mehta, Viswanath Na...
TARK
2005
Springer
15 years 10 months ago
Semantics for multi-agent only knowing: extended abstract
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
Arild Waaler, Bjørnar Solhaug