511 search results - page 28 / 103 » More Precise Partition Abstractions |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
CIARP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...
ESANN
2004
13 years 10 months ago
2004
Abstract. A well-known result by Stein shows that regularized estimators with small bias often yield better estimates than unbiased estimators. In this paper, we adapt this spirit ...
SIAMCO
2008
13 years 8 months ago
2008
Abstract. When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specif...
SIAMSC
2010
13 years 3 months ago
2010
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...