11345 search results - page 1980 / 2269 » Foundations of Computer Science |
126
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
The relationship between financial incentives and performance, long of interest to social scientists, has gained new relevance with the advent of web-based “crowd-sourcing” mo...
192
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Least squares (LS) fitting is one of the most fundamental techniques in science and engineering. It is used to estimate parameters from multiple noisy observations. In many probl...
129
Voted
IEEECIT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
100
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
109
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...