4895 search results - page 627 / 979 » Functional Quantum Programming |
150
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
— We present a hybrid data mining approach to detect malicious executables. In this approach we identify important features of the malicious and benign executables. These feature...
167
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
160
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
135
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Say that f : {0, 1}n → {0, 1} -approximates g : {0, 1}n → {0, 1} if the functions disagree on at most an fraction of points. This paper contains two results about approximatio...
178
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...