Results 131 to 135 of about 1,087,555 (135)
Some of the next articles are maybe not open access.
Performance Evaluation of CNN and Pre-trained Models for Malware Classification
The Arabian journal for science and engineering, 2023Omar Habibi +2 more
semanticscholar +1 more source
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989
The author considers a spectrum of predicative type abstraction disciplines based on type quantification with stratified levels. These lie in the vast middle ground between parametric abstraction and full impredicative abstraction.
D. Leivant
semanticscholar +1 more source
The author considers a spectrum of predicative type abstraction disciplines based on type quantification with stratified levels. These lie in the vast middle ground between parametric abstraction and full impredicative abstraction.
D. Leivant
semanticscholar +1 more source
Polymorphism is Set Theoretic, Constructively
Category Theory and Computer Science, 1987A. Pitts
semanticscholar +1 more source
Two Results on Set-Theoretic Polymorphism
Category Theory and Computer Science, 1991W. Phoa
semanticscholar +1 more source
Annual Conference for Computer Science Logic, 2005
M. Collinson, D. Pym, E. Robinson
semanticscholar +1 more source
M. Collinson, D. Pym, E. Robinson
semanticscholar +1 more source