Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Continue readingA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Continue readingA Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
Continue readingAlthough there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
Continue readingThis book explores the history of literature as a history of changing media and modes of communication, from manuscript to ...
Continue readingThis substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Continue readingA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Continue readingDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Continue readingBeing one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this ...
Continue readingAI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Continue readingThe 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
Continue readingThis volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Continue readingThis book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held ...
Continue readingArtificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Continue readingGreat effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
Continue readingThis volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...
Continue reading