Cyberspace is widely acknowledged as a fundamental fact of daily life in today's world. Until recently, its political impact was thought to be a matter of low politics -- background conditions and routine processes and decisions. Now, however, experts have begun to recognize its effect on high politics -- national security, core...

In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the...

This volume demonstrates the power of the Markov random field (MRF) in vision, treating the MRF both as a tool for modeling image data and, utilizing recently developed algorithms, as a means of making inferences about images. These inferences concern underlying image and scene structure as well as solutions to such problems as image...

All day, every day, Americans seek information. We research major purchases. We check news and sports. We visit government Web sites for public information and turn to friends for advice about our everyday lives. Although the Internet influences our information-seeking behavior, we gather information from many sources: family and friends,...

This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and computing by learning to write computer programs for a variety of tasks that require thought, including solving puzzles, understanding natural language, recognizing objects...

Contemporary computing technologies have thoroughly embedded themselves in every aspect of modern life―conducting commerce, maintaining and extending our networks of friends, and mobilizing political movements all...

Research at the Centre National de la Recherche Scientifique in Paris, Head of the LATTICE (Langues, Textes,...

Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms...

This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical...