Hypergraph based network model and architechture for deep space exploration. (English)
Liu, Baoxiang (ed.) et al., Information computing and applications. Second international conference, ICICA 2011, Qinhuangdao, China, October 28‒31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25254-9/pbk). Lecture Notes in Computer Science 7030, 495-504 (2011).
1
Knows what it knows: a framework for self-aware learning. (English)
Mach. Learn. 82, No. 3, 399-443 (2011).
2
Foraging theory for dimensionality reduction of clustered data. (English)
Mach. Learn. 82, No. 1, 71-90 (2011).
3
Scheme-based synthesis of inductive theories. (English)
Sidorov, Grigori (ed.) et al., Advances in artificial intelligence. 9th Mexican international conference on artificial intelligence, MICAI 2010, Pachuca, Mexico, November 8‒13, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16760-7/pbk). Lecture Notes in Computer Science 6437. Lecture Notes in Artificial Intelligence, 348-361 (2010).
4
io-port 05128348 Buchberger, Bruno;
Crǎciun, Adrian;
Jebelean, Tudor;
Kovács, Laura;
Kutsia, Temur;
Nakagawa, Koji;
Piroi, Florina;
Popov, Nikolaj;
Robu, Judit;
Rosenkranz, Markus;
Windsteiger, Wolfgang
{\it Theorema}: Towards computer-aided mathematical theory exploration. (English)
J. Appl. Log. 4, No. 4, 470-504 (2006).
5
Environment — robot interaction — the basis for mobility in planetary micro-rovers. (English)
Robot. Auton. Syst. 51, No. 1, 29-39 (2005).
6
Theory exploration versus theorem proving. (Abstract of invited talk). (English)
Armando, Alessandro (ed.) et al., Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,3, 1 p., electronic only (1999).
7
Verification of bounded delay asynchronous circuits with timed traces. (English)
Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4‒8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 59-73 (1999).
8
Start
Contact
Print
General Help
