Sciweavers

3342 search results - page 10 / 669

» Symbolic Robustness Analysis

33

TACAS
2009
Springer

79views Algorithms» more TACAS 2009»

Symbolic String Verification: Combining String Analysis and Size Analysis

14 years 5 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 »

26

ICDAR
2009
IEEE

150views Document Analysis» more ICDAR 2009»

Statistical Classification of Spatial Relationships among Mathematical Symbols

14 years 5 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 »

19

ICDAR
2009
IEEE

101views Document Analysis» more ICDAR 2009»

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

14 years 5 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 5 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 »

39

ICST
2010
IEEE

157views Software Engineering» more ICST 2010»

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

13 years 9 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 10 / 669 Last » Next »