Sciweavers

3019 search results - page 5 / 604
» Approximating the Domatic Number
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 11 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
TNN
2008
112views more  TNN 2008»
13 years 7 months ago
Multilayer Perceptrons: Approximation Order and Necessary Number of Hidden Units
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...
S. Trenn
MOC
2002
103views more  MOC 2002»
13 years 7 months ago
Computation of class numbers of quadratic number fields
We explain how one can dispense with the numerical computation of approximations to the transcendental integral functions involved when computing class numbers of quadratic number ...
Stéphane Louboutin
SODA
2010
ACM
248views Algorithms» more  SODA 2010»
14 years 4 months ago
Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface
The crossing number of a graph is the least number of pairwise edge crossings in a drawing of the graph in the plane. We provide an O(n log n) time constant factor approximation al...
Petr Hlineny, Markus Chimani
AAAI
1997
13 years 8 months ago
Bayes Networks for Estimating the Number of Solutions to a CSP
The problem of counting the number of solutions to a constraint satisfaction problem (CSP) is rephrased in terms of probability updating in Bayes networks. Approximating the proba...
Amnon Meisels, Solomon Eyal Shimony, Gadi Solotore...