1399 search results - page 162 / 280 » Multi-party Finite Computations |
171
click to vote
JMLR
2002
15 years 4 months ago
2002
A central problem in learning is selection of an appropriate model. This is typically done by estimating the unknown generalization errors of a set of models to be selected from a...
148
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Using methods from the computational sciences to improve the quality of health care is an important part of current medical progress. A particulary complex field is surgery simulat...
231
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
135
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
— As cloud computing becomes increasingly pervasive, the data center energy consumption attributable to cloud computing is climbing, despite the clarion call of action to reduce ...
129
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...