Sciweavers

8486 search results - page 191 / 1698
» Ordered Enumeration Method
Sort
View
ICMCS
2006
IEEE
116views Multimedia» more  ICMCS 2006»
14 years 4 months ago
An Innovative Pixel Scoring Method for Watermarking of Binary Document Images
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...
Edin A. Muharemagic, Borko Furht
APLAS
2006
ACM
14 years 2 months ago
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
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...
Hiroshi Yamauchi, Jan Vitek
ENTCS
2008
71views more  ENTCS 2008»
13 years 10 months ago
An Inverse Method for Parametric Timed Automata
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...
Étienne André, Thomas Chatain, Laure...
SIAMSC
2008
90views more  SIAMSC 2008»
13 years 10 months ago
Norm Preconditioners for Discontinuous Galerkin hp-Finite Element Methods
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 ...
Emmanuil H. Georgoulis, Daniel Loghin
AAECC
1999
Springer
82views Algorithms» more  AAECC 1999»
13 years 10 months ago
Reasoning over Networks by Symbolic Methods
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...
Thomas Sturm