2584 search results - page 350 / 517 » On the Forward Checking Algorithm |
76
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
ENTCS
2008
14 years 10 months ago
2008
In this note we consider the computability of the solution of the initial-value problem for ordinary differential equations with continuous right-hand side. We present algorithms ...
CG
2006
Springer
14 years 10 months ago
2006
Springer
This paper reports the work on a novel wavelet-based multi-scale filtering application used to generate very smooth subset of profiles known as Class-A curves. The multi-scale rep...
112
click to vote
IGPL
2006
14 years 10 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
CPHYSICS
2007
14 years 10 months ago
2007
We describe the implementation of the shearingbox approach into the Godunovtype central-upwind/constraint-transport magnetohydrodynamics code NIRVANA. This will allow for applicat...