HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Hybrid

Papers
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu and John Licato
In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Hybrid Chimney
Chandra Shekhar, Shahrukh Khan, Lakshay Kashyap, Subodh Bhola and Kamlesh Prasad
EasyChair Preprint no. 2035
A Hybrid Machine Learning Model with Cost- Function Based Outlier Removal and Its Application on Credit Rating
Aurora Mu
EasyChair Preprint no. 1760
Comparison of Various Sunk Cost Methods of Transmission Pricing
Heramb Mayadeo, Anjali Dharme and Abhijit Abhyankar
EasyChair Preprint no. 335
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
Nada Habli and Amy Felty
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Copyright © 2012-2021 easychair.org. All rights reserved.