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