Result 1 to 20 of 84 total
Overview and evaluation of premise selection techniques for large theory mathematics. (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 378-392 (2012).
1
A Markov random field approach to neural encoding and decoding. (English)
Honkela, Timo (ed.) et al., Artificial neural networks and machine learning ‒ ICANN 2011. 21st international conference on artificial neural networks, Espoo, Finland, June 14‒17, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21737-1/pbk). Lecture Notes in Computer Science 6792, 1-8 (2011).
2
Learning2reason. (English)
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 298-300 (2011).
3
Properties of Bethe free energies and message passing in Gaussian models. (English)
J. Artif. Intell. Res. (JAIR) 41, 1-24 (2011).
4
io-port 50144697 Baglietto, Marco;
Benusková, Lubica;
Bukovsky, Ivo;
Chen, Tianping;
Heskes, Tom;
Ikeda, Kazushi;
Karray, Fakhri;
Kil, Rhee Man;
Legenstein, Robert A.;
Lu, Jinhu;
Ma, Yunqian;
Magdon-Ismail, Malik;
Paulin, Michael G.;
Polikar, Robi;
Prokhorov, Danil V.;
Wiering, Marco;
Zarzoso, Vicente
Editorial: one year as eic, and editorial-board changes at TNN (English)
IEEE Transactions on Neural Networks 22, No. 1, 1-7 (2011).
5
Predicting preference judgments of individual normal and hearing-impaired listeners with Gaussian processes (English)
IEEE Transactions on Audio, Speech & Language Processing 19, No. 4, 811-821 (2011).
6
Semantic graph kernels for automated reasoning (English)
SDM, 795-803 (2011).
7
Learning2reason (English)
Calculemus/MKM, 298-300 (2011).
8
A Markov random field approach to neural encoding and decoding (English)
ICANN (2), 1-8 (2011).
9
Learning from multiple annotators with Gaussian processes (English)
ICANN (2), 159-164 (2011).
10
A logical characterization of constraint-based causal discovery (English)
UAI, 135-144 (2011).
11
Bayesian Monte Carlo for the global optimization of expensive functions. (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 249-254 (2010).
12
Neural decoding with hierarchical generative models. (English)
Neural Comput. 22, No. 12, 3127-3142 (2010).
13
Co-regularized least-squares for label ranking. (English)
Fürnkranz, Johannes (ed.) et al., Preference learning. Berlin: Springer (ISBN 978-3-642-14124-9/hbk; 978-3-642-14125-6/ebook). 107-123 (2010).
14
Pattern recognition in bioinformatics. 5th IAPR international conference, PRIB 2010, Nijmegen, The Netherlands, September 22‒24, 2010. Proceedings. (English)
Lecture Notes in Computer Science 6282. Lecture Notes in Bioinformatics. Berlin: Springer (ISBN 978-3-642-16000-4/pbk). xii, 456~p. EUR~66.34 (2010).
15
Multi-task preference learning with an application to hearing aid personalization. (English)
Neurocomputing 73, No. 7-9, 1177-1185 (2010).
16
Improving posterior marginal approximations in latent Gaussian models (English)
Journal of Machine Learning Research - Proceedings Track 9, 121-128 (2010).
17
Expectation propagation (English)
Encyclopedia of Machine Learning, 383-387 (2010).
18
Bayesian Monte Carlo for the global optimization of expensive functions (English)
ECAI, 249-254 (2010).
19
Causal discovery in multiple models from different experiments (English)
NIPS, 415-423 (2010).
20
Result 1 to 20 of 84 total
Start
Contact
Print
General Help
