2432 search results - page 351 / 487 » Cryptographic logical relations |
186
click to vote
BCB
2010
15 years 1 months ago
2010
Network-based genome-wide association studies (NWAS) utilize the molecular interactions between genes and functional pathways in biomarker identification. This study presents a no...
170
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
320
click to vote
GLVLSI
2011
IEEE
14 years 10 months ago
2011
IEEE
Existing optimization algorithms for the multiplierless realization of multiple constant multiplications (MCM) typically target the minimization of the number of addition and subt...
163
click to vote
CHB
2011
14 years 10 months ago
2011
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
148
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...