153 search results - page 18 / 31 » Symbolic Implementation of the Best Transformer |
NDSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
EUROSSC
2007
Springer
14 years 1 months ago
2007
Springer
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
WCE
2007
13 years 8 months ago
2007
—Orthogonal Frequency Division Multiplexing (OFDM) is gaining popularity for high data rate communication systems. We propose the use of adaptive beamforming for interference rej...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...