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 ...
Continue reading
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Continue reading
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Continue reading
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Continue reading
Computer Vision – ACCV 2007
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...
Continue reading
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Continue reading
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Continue reading
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 ...
Continue reading
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Continue reading
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 ...
Continue reading
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
Continue reading
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Continue readingConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Continue readingConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Continue reading
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Continue reading
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Continue reading
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 ...
Continue reading
Container Terminals and Automated Transport Systems
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
Continue reading
Container Terminals and Cargo Systems
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
Continue reading
Contemporary Qualitative Research
This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
Continue reading
