334 search results - page 40 / 67 » A parametric analysis of the state-explosion problem in mode... |
150
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
Deformable contours are now widely used in image segmentation, using different models, criteria and numeric schemes. Some theoretical comparisons between few deformable model met...
268
click to vote
AOSD
2010
ACM
16 years 25 days ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
162
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an analysis of the design of classifiers for use in a hierarchical object recognition approach. In this approach, a cascade of classifiers is arranged in a tr...
145
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
160
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...