This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Lire la suiteThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suiteTthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Lire la suiteThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suiteThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lire la suiteThis book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.
Lire la suiteNetworked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
Lire la suiteThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Lire la suite