851 search results - page 73 / 171 » History Effects and Verification |
100
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
143
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
226
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
143
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we present several novel techniques that make the recently published multilevel routing scheme [19] more effective and complete. Our contributions include: (1) reso...