Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenOffers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
WeiterlesenThis book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
WeiterlesenThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
WeiterlesenARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
WeiterlesenContaining tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...
WeiterlesenThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
WeiterlesenAn AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
WeiterlesenThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
WeiterlesenThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
WeiterlesenCAiSE 2007 was the 19th in the series of International Conferences on Advanced Information Systems Engineering. This year’s ...
WeiterlesenThis book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
WeiterlesenThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
WeiterlesenThis book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised ...
WeiterlesenContains a collection of scientific chapters addressing the emerging trends in IT and telecommunications, as well as the ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Weiterlesenthe 5th Chinese Conference on Biometrics Recognition (Sinobiometrics 2004) The conference this year was aimed at promoting ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, ...
WeiterlesenBiometrics has emerged as a reliable person identification method that can over-come some of the limitations of the traditional ...
Weiterlesen