329 search results - page 17 / 66 » Uniform variable splitting |
111
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
We describe the design and implementation of a system for simulating the spread of disease among individuals in a large urban population over the course of several weeks. In contr...
130
click to vote
ICANN
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. This paper presents a neural network tree regression system with dynamic optimization of input variable transformations and post-training optimization. The decision tree ...
CADE
2007
Springer
16 years 1 days ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
ICML
2000
IEEE
16 years 16 days ago
2000
IEEE
This paper presents a general method to derive tight rates of convergence for numerical approximations in optimal control when we consider variable resolution grids. We study the ...
104
click to vote
CADE
2009
Springer
16 years 10 days ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...