10890 search results - page 425 / 2178 » Automatic Complexity Analysis |
173
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Table of contents (TOC) recognition has attracted a great deal of attention in recent years. After reviewing the merits and drawbacks of the existing TOC recognition methods, we h...
204
click to vote
PAMI
2011
14 years 9 months ago
2011
Abstract—In this paper, we define meta-recognition, a performance prediction method for recognition algorithms, and examine the theoretical basis for its post-recognition score ...
178
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
180
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
201
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...