3897 search results - page 161 / 780 » complexity 2010 |
98
Voted
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
The management and querying of workflow provenance data underpins a collection of activities, including the analysis of workflow results, and the debugging of workflows or service...
120
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We investigate enumerability properties for classes of random reals which permit recursive approximations from below, or left-r.e. reals. In addition to pinpointing the complexity...
PROCEDIA
2010
15 years 26 days ago
2010
We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
129
click to vote
MST
2010
15 years 27 days ago
2010
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
AAAI
2010
15 years 3 months ago
2010
In some voting situations, some new candidates may show up in the course of the process. In this case, we may want to determine which of the initial candidates are possible winner...