2944 search results - page 48 / 589 » Improving Bound Propagation |
VISSYM
2003
13 years 11 months ago
2003
We present three enhancements to accelerate the extraction of separatrices of three-dimensional vector fields, using intelligently selected “sample” streamlines. These enhanc...
ICDAR
2007
IEEE
14 years 4 months ago
2007
IEEE
Using a lexicon can often improve character recognition under challenging conditions, such as poor image quality or unusual fonts. We propose a flexible probabilistic model for c...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...
IJCAI
2001
13 years 11 months ago
2001
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
SAT
2005
Springer
14 years 3 months ago
2005
Springer
We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy ) which incorporate original data structures and inference rules, and a lower bound of better quality.