8486 search results - page 191 / 1698 » Ordered Enumeration Method |
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In order to embed a watermark into a binary document image, some subset of image pixels needs to be modified. This modification will cause a document image distortion. Careful sel...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
ENTCS
2008
13 years 10 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
SIAMSC
2008
13 years 10 months ago
2008
We consider a norm-preconditioning approach for the solution of discontinuous Galerkin finite element discretizations of second order PDE with non-negative characteristic form. In ...
AAECC
1999
Springer
13 years 10 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...