3457 search results - page 48 / 692 » A Symbol Is Not a Symbol |
TAP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
SSPR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
TREC
2004
13 years 11 months ago
2004
This paper describes the experiments conducted in the ad-hoc retrieval task of the Genomic track at TREC 2004. Different query expansion techniques based on the addition of keywor...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...