This book uncovers techniques to overcome software complexity and enable the production of reliable, dependable computer systems that will operate as intended and are evolvable, both over time and at run time.
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
This book presents a coarse-to-fine framework for learning and inference in large statistical models for natural language processing. The text shows applications of this fast, accurate approach to syntactic parsing, speech recognition and machine translation.