1888 search results - page 169 / 378 » Proof theory and computational analysis |
91
Voted
STOC
2005
ACM
16 years 1 months ago
2005
ACM
We consider the problem of approximately counting integral flows in a network. We show that there is an fpras based on volume estimation if all capacities are sufficiently large, ...
89
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
It is widely assumed and observed in experiments that the use of diversity mechanisms in evolutionary algorithms may have a great impact on its running time. Up to now there is no...
113
Voted
BCSHCI
2007
15 years 2 months ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
146
click to vote
FOGA
2011
14 years 4 months ago
2011
It was recently proven that sets of points maximizing the hypervolume indicator do not give a good multiplicative approximation of the Pareto front. We introduce a new “logarith...
113
Voted
SAIG
2000
Springer
15 years 4 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...