Advances in Artificial Intelligence: 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011, ... / Lecture Notes in Artificial Intelligence)

Advances in Artificial Intelligence: 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011, ... / Lecture Notes in Artificial Intelligence) Review

See more picture

Advances in Artificial Intelligence: 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011, ... / Lecture Notes in Artificial Intelligence) Feature

This book constitutes the refereed proceedings of the 24th Conference on Artificial Intelligence, Canadian AI 2011, held in St. John’s, Canada, in May 2011. The 23 revised full papers presented together with 22 revised short papers and 5 papers from the graduate student symposium were carefully reviewed and selected from 81 submissions. The papers cover a broad range of topics presenting original work in all areas of artificial intelligence, either theoretical or applied.

Check price now

Rerate Products

Customer Review

E-Technologies: Innovation in an Open World: 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009, Proceedings (Lecture Notes in Business Information Processing)

E-Technologies: Innovation in an Open World: 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009, Proceedings (Lecture Notes in Business Information Processing) Review

See more picture

E-Technologies: Innovation in an Open World: 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009, Proceedings (Lecture Notes in Business Information Processing) Feature

This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, 2009.

The 23 full and 4 short papers included in this volume were carefully reviewed and selected from a total of 42 submissions. They cover topics such as inter-organzational processes, service-oriented architectures, security and trust, middleware infrastructures, open source and open environments, and applications including eGovernment, eEducation, and eHealth.

Check price now

Rerate Products

Customer Review

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science) Review

See more picture

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science) Feature

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Check price now

Rerate Products

Customer Review