Bibliography
From GusWiki
< Previous records
Baier.etal:06 | detailed view | edit | Google Books | Google Scholar | URL
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains.
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains.
Ng04 | detailed view | edit | Google Books | Google Scholar | URL
Andrew Y. Ng 2004: Feature selection, L1 vs. L2 regularization, and rotational invariance. In Proceedings of the Twenty-first International Conference on Machine Learning.
Andrew Y. Ng 2004: Feature selection, L1 vs. L2 regularization, and rotational invariance. In Proceedings of the Twenty-first International Conference on Machine Learning.
NedGeuVri94 | detailed view | edit | Google Books | Google Scholar | WorldCat | Amazon
Nederpelt, R.P., Geuvers, J.H., de Vrijer, R.C. 1994: Selected Papers on Automath. Amsterdam: Elsevier Science.
Nederpelt, R.P., Geuvers, J.H., de Vrijer, R.C. 1994: Selected Papers on Automath. Amsterdam: Elsevier Science.
Qed:94 | detailed view | edit | Google Books | Google Scholar
Boyer, R. et al. (1994): The QED Manifesto. Springer-Verlag.
Boyer, R. et al. (1994): The QED Manifesto. Springer-Verlag.
0.5 secs
< Previous records
