'Concise representation' presentation slideshows

automata-theoretic model checking

automata-theoretic model checking. Kousha Etessami Bell Labs (starting next week, my affiliation will be U. of Edinburgh ). overview. The purpose of my lectures:

568 views • 46 slides

Exploring the keyword space in large learning resource aggregations: the case of GLOBE

229 views • 16 slides

University of Patras and CTI, Patras

2 nd Panhellenic Conference on Artificial Intelligence, 11-12 April, 2002, Thessaloniki. Multi-inference with Multi-neurules. University of Patras and CTI, Patras. I. Hatzilygeroudis J. Prentzas. Introductory observations.

298 views • 14 slides