Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.