Results 211 to 220 of about 365,826 (256)

A certified implementation of ML with structural polymorphism and recursive types

Mathematical Structures in Computer Science, 2010
The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally polymorphic types, such as polymorphic object and variant types, which have the extra ...
Jacques Garrigue
semanticscholar   +1 more source

Performance Evaluation of CNN and Pre-trained Models for Malware Classification

The Arabian journal for science and engineering, 2023
Omar Habibi, Mohammed Chemmakha, M. Lazaar   +2 more
semanticscholar   +1 more source

Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain

International Symposium on Mathematical Foundations of Computer Science, 2020
Arpitha P. Bharathi, M. Mastrolilli
semanticscholar   +1 more source

Types and programming languages: the next generation

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 2003
B. Pierce
semanticscholar   +1 more source

An extensible approach to session polymorphism †

Mathematical Structures in Computer Science, 2015
M. A. Goto, R. Jagadeesan, A. Jeffrey, Corin Pitcher, James Riely   +4 more
semanticscholar   +1 more source

Identification of single nucleotide polymorphism using support vector machine on imbalanced data

International Conference on Advanced Computer Science and Information System, 2014
Lailan Sahrina Hasibuan, W. Kusuma, Willy Bayuardi Suwamo   +2 more
semanticscholar   +1 more source

Application of decision tree classifier for single nucleotide polymorphism discovery from next-generation sequencing data

International Conference on Advanced Computer Science and Information System, 2014
Muhammad Abrar Istiadi, W. Kusuma, I. M. Tasma   +2 more
semanticscholar   +1 more source