3457 search results - page 16 / 692 » A Symbol Is Not a Symbol |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
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,. . . )....
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
AUTOMATICA
2008
13 years 10 months ago
2008
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...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
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 ...
MVA
1990
13 years 11 months ago
1990
: 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...