Sciweavers

819 search results - page 11 / 164

» Fractal symbolic analysis

24

TACAS
2009
Springer

79views Algorithms» more TACAS 2009»

Symbolic String Verification: Combining String Analysis and Size Analysis

14 years 3 months ago

Symbolic String Verification: Combining String Analysis and Size Analysis

Download www.cs.ucsb.edu

Fang Yu, Tevfik Bultan, Oscar H. Ibarra

claim paper

Read More »

24

ICDAR
2009
IEEE

150views Document Analysis» more ICDAR 2009»

Statistical Classification of Spatial Relationships among Mathematical Symbols

14 years 3 months ago

Statistical Classification of Spatial Relationships among Mathematical Symbols

Download www.cvc.uab.es

Walaa Aly, Seiichi Uchida, Akio Fujiyoshi, Masakaz...

claim paper

Read More »

18

ICDAR
2009
IEEE

101views Document Analysis» more ICDAR 2009»

Vector Representation of Graphs: Application to the Classification of Symbols and Letters

14 years 3 months ago

Vector Representation of Graphs: Application to the Classification of Symbols and Letters

Download www.cvc.uab.es

Nicolas Sidere, Pierre Héroux, Jean-Yves Ra...

claim paper

Read More »

15

ICDAR
2007
IEEE

143views Document Analysis» more ICDAR 2007»

HMM-Based Online Handwriting Recognition System for Telugu Symbols

14 years 2 months ago

HMM-Based Online Handwriting Recognition System for Telugu Symbols

Download www.hpl.hp.com

V. Babu, L. Prasanth, R. Sharma, G. V. Rao, A. Bha...

claim paper

Read More »

32

ICST
2010
IEEE

157views Software Engineering» more ICST 2010»

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

13 years 7 months ago

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Download www.ist.tugraz.at

—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...

claim paper

Read More »

« Prev « First page 11 / 164 Last » Next »