3457 search results - page 39 / 692 » A Symbol Is Not a Symbol |
AICOM
2010
13 years 10 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
DCC
2002
IEEE
14 years 3 months ago
2002
IEEE
We consider the case of two corr elated non-binary sources. Data compression is achieved by transforming the sequences of non-binary symbols into sequences of bits and then using ...
ICA
2010
Springer
13 years 8 months ago
2010
Springer
We propose combining supervised and unsupervised algorithms in order to improve the performance of multiple-input multipleoutputdigitalcommunication systemswhich makeuseofdecision-...
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
Symbolic regression is a popular genetic programming (GP) application. Typically, the fitness function for this task is based on a sum-of-errors, involving the values of the depe...