default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 74
Volume 74, Numbers 1-2, June 2015
- Harris Papadopoulos
, Vladimir Vovk, Alexander Gammerman:
Guest editors' preface to the special issue on conformal prediction and its applications. 1-7 - Vladimir Vovk:
Cross-conformal predictors. 9-28 - Jing Lei, Alessandro Rinaldo, Larry A. Wasserman:
A conformal prediction approach to explore functional data. 29-43 - Vineeth Nallure Balasubramanian, Shayok Chakraborty, Sethuraman Panchanathan:
Conformal predictions for information fusion - A comparative study of p-value combination methods. 45-65 - Rikard Laxhammar, Göran Falkman:
Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories. 67-94 - Frank-Michael Schleif, Xibin Zhu, Barbara Hammer:
Sparse conformal prediction for dissimilarity data. 95-116 - Martin Eklund, Ulf Norinder, Scott Boyer, Lars Carlsson:
The application of conformal prediction to the drug discovery process. 117-132 - Khuong An Nguyen, Zhiyuan Luo:
Reliable indoor location prediction using conformal prediction. 133-153 - Andrea Murari, Jesús Vega, D. Mazon, T. Courregelongue:
Preliminary numerical investigations of conformal predictors based on fuzzy logic classifiers. 155-180 - Antonis Lambrou, Ilia Nouretdinov, Harris Papadopoulos:
Inductive Venn Prediction. 181-201 - Ilia Nouretdinov, Dmitry Devetyarov, Volodya Vovk, Brian Burford, Stephane Camuzeaux, Aleksandra Gentry-Maharaj, Ali Tiss, Celia J. Smith, Zhiyuan Luo, Alexey Ya. Chervonenkis, Rachel Hallett, Mike Waterfield, Rainer Cramer, John F. Timms, Ian Jacobs, Usha Menon, Alex Gammerman:
Multiprobabilistic prediction in early medical diagnoses. 203-222 - Jesús Vega, Andrea Murari, Sebastián Dormido-Canto, T. Cruz:
Simulations of nuclear fusion diagnostics based on projections with Venn predictors and context drift detection. 223-247
Volume 74, Numbers 3-4, August 2015
- Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic:
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. 249-269 - Filip Maric, Danijela Petrovic:
Formalizing complex plane geometry. 271-308 - Nicolas Magaud, Agathe Chollet, Laurent Fuchs:
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. 309-332 - Xiaoyu Chen, Dan Song, Dongming Wang:
Automated generation of geometric theorems from images of diagrams. 333-358 - Francisco Botana, Zoltán Kovács:
A Singular web service for geometric computations. 359-370 - John Christopher Bowers, Ileana Streinu:
Lang's Universal molecule algorithm. 371-400
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-10 22:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
