17450 search results - page 117 / 3490 » Numerical Methods with Applications |
113
click to vote
SAS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
152
click to vote
ACPC
1999
Springer
15 years 7 months ago
1999
Springer
Multi-resolution methods are widely used in scientific visualization, image processing, and computer graphics. While many applications only require an one-time construction of the...
113
click to vote
AAAI
2004
15 years 4 months ago
2004
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...
143
click to vote
MOC
2011
14 years 10 months ago
2011
Abstract. In this paper, we analyze a hybridizable discontinuous Galerkin method for numerically solving the Stokes equations. The method uses polynomials of degree k for all the c...
130
click to vote
SIAMREV
2010
14 years 10 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...