3457 search results - page 90 / 692 » A Symbol Is Not a Symbol |
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
107
click to vote
IJBC
2010
14 years 10 months ago
2010
In this paper, a symbolic dynamical model of the average queue size of the random early detection (RED) algorithm is proposed. The conditions on both the system parameters and the...
196
click to vote
CADE
2011
Springer
14 years 19 days ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
75
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
204
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...