|
|
|
|
|
Modeling and Verification of Real-time SystemsThis title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques... | | Endoscopic and microsurgical anatomy of the cranial base
This atlas illustrates the anatomical structures of the internal and external cranial base and their topography essential to transnasal endoscopic surgical approaches.
Currently, the majority of transnasal microsurgical interventions are largely restricted to hypophyseal interventions. The petrous part of the temporal bone and the... | | Data Analysis and Classification: Proceedings of the 6th Conference
This volume contains revised versions of selected papers presented at the biennial
meeting of the Classification and Data Analysis Group (CLADAG) of the Italian
Statistical Society, which was held in Macerata, September 12–14, 2007. Carlo
Lauro chaired the Scientific Programme Committee and Francesco Palumbo chaired
the Local... |
|
High-Level Data FusionMaster cutting-edge Level 2 fusion techniques that help you develop powerful situation assessment services with eye-popping capabilities and performance with this trail-blazing resource. The book explores object and situation fusion processes with an appropriate handling of uncertainties, and applies cutting-edge artificial intelligence and... | | | | Sequence Data Mining (Advances in Database Systems)
Sequences are an important type of data which occur frequently in many scientific,
medical, security, business and other applications. For example, DNA
sequences encode the genetic makeup of humans and all species, and protein
sequences describe the amino acid composition of proteins and encode
the structure and function of... |
|
|
|
Result Page: 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 |