Computer Vision Approaches to Medical Image Analysis
This was the second time that a satellite workshop,solely devoted to medical image analysis issues, was held in conjunction ...
Lire la suite
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Lire la suite
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Lire la suite
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Lire la suite
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Lire la suite
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Lire la suite
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Lire la suite
Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability
This book discusses challenges in school improvement research and different methodological approaches that have the potential ...
Lire la suite
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lire la suite
Cone Beam Computed Tomography in Orthodontics: Indications, Insights, and Innovations / Sunil Kapila
Cone Beam Computed Tomography in Orthodontics provides timely, impartial, and state-of-the-art information on the indications ...
Lire la suite
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lire la suite
Container Terminals and Automated Transport Systems
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
Lire la suite
Container Terminals and Cargo Systems
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
Lire la suite
Contemporary Qualitative Research
This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
Lire la suite
