9595 search results - page 437 / 1919 » Functional programming in C |
195
Voted
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
335
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
This paper investigates the discovery of conditional functional dependencies (CFDs). CFDs are a recent extension of functional dependencies (FDs) by supporting patterns of semantic...
199
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
185
click to vote
BMCBI
2006
15 years 6 months ago
2006
We investigate the application of hierarchical classification schemes to the annotation of gene function based on several characteristics of protein sequences including phylogenic ...
155
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
In the k-Restricted-Focus-of-Attention (k-RFA) model, only k of the n attributes of each example are revealed to the learner, although the set of visible attributes in each example...