1452 search results - page 184 / 291 » Algorithmic Analysis of Array-Accessing Programs |
149
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
129
click to vote
SDM
2007
SIAM
15 years 2 months ago
2007
SIAM
Sequence segmentation is a central problem in the analysis of sequential and time-series data. In this paper we introduce and we study a novel variation to the segmentation proble...
130
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
160
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper describes a lexicon driven approach for word recognition on handwritten documents using Conditional Random Fields(CRFs). CRFs are discriminative models and do not make a...
147
Voted
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...