Sciweavers

3457 search results - page 16 / 692
» A Symbol Is Not a Symbol
Sort
View
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 13 days ago
Self-organizing maps and symbolic data
Abstract. In data analysis new forms of complex data have to be considered like for example (symbolic data, functional data, web data, trees, SQL query and multimedia data,. . . )....
Aïcha El Golli, Brieuc Conan-Guez, Fabrice Ro...
96
Voted
ISSTA
2009
ACM
15 years 7 months ago
Loop-extended symbolic execution on binary programs
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
Prateek Saxena, Pongsin Poosankam, Stephen McCaman...
124
Voted
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 18 days ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
103
Voted
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 6 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
78
Voted
MVA
1990
101views Computer Vision» more  MVA 1990»
15 years 1 months ago
A Segmentation Free Approach to Symbol Extraction and Recognition from Image Document
: We present a symbol recognition method without segmentation of the document. Our approach uses Zernike moments for the coding and a multilayered Perceptron for the classifier. Re...
Maurice Milgram, Mattieu Jobert, Bertrand Lamy