Sciweavers

819 search results - page 36 / 164
» Fractal symbolic analysis
Sort
View
ICCAD
2001
IEEE
104views Hardware» more  ICCAD 2001»
14 years 5 months ago
A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
Clayton B. McDonald, Randal E. Bryant
ICDAR
2007
IEEE
14 years 3 months ago
Camera-Based Graphical Symbol Detection
In this paper we present a method to locate and recognize graphical symbols appearing in real images. A vectorial signature is defined to describe graphical symbols. It is formul...
Marçal Rusiñol, Josep Lladós,...
ICDAR
2003
IEEE
14 years 1 months ago
Radon Transform for Lineal Symbol Representation
Content-based retrieval and recognition of graphic images requires good models for symbol representation, able to identify those features providing the most relevant information a...
Oriol Ramos Terrades, Ernest Valveny
DAS
2008
Springer
13 years 10 months ago
Symbol Descriptor Based on Shape Context and Vector Model of Information Retrieval
In this paper we present an adaptive method for graphic symbol representation based on shape contexts. The proposed descriptor is invariant under classical geometric transforms (r...
T.-O. Nguyen, Salvatore Tabbone, Oriol Ramos Terra...
PLDI
2009
ACM
14 years 3 months ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan