This book is unique in that its stress is not on the mastery of a programming language, but on the importance and value of interactive problem solving. The authors focus on several specific interest worlds: mathematics, computer science, artificial intelligence, linguistics, and games; however, their approach can serve as a model that may be applied easily to other fields as well. Those who are interested in symbolic computing will find that Interactive Problem Solving Using LOGO provides a gentle introduction from which one may move on to other, more advanced computational frameworks or more formal analysis. What is of primary importance, however, is the text's ability -- through its presentation of rich, open-ended problems -- to effectively cultivate crucial cognitive skills.

This book presents a broad selection of cutting-edge research, covering both theoretical and practical aspects of reconstruction, registration, and recognition. The text provides an overview of challenging areas and descriptions of novel algorithms. Features: investigates visual features, trajectory features, and stereo matching; reviews the main challenges of semi-supervised object recognition, and a novel method for human action categorization; presents a framework for the visual localization of MAVs, and for the use of moment constraints in convex shape optimization; examines solutions to the co-recognition problem, and distance-based classifiers for large-scale image classification; describes how the four-color theorem can be used for solving MRF problems; introduces a Bayesian generative model for understanding indoor environments, and a boosting approach for generalizing the k-NN rule; discusses the issue of scene-specific object detection, and an approach for making temporal super resolution video.

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems—the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo. They discuss a range of issues in the areas of curriculum, learning, and mathematics, illustrating the ways in which Logo continues to provide a rich learning environment, one that allows pupil autonomy within challenging mathematical settings.Essays in the first section discuss the link between Logo and the school mathematics curriculum, focusing on the ways in which pupils' Logo activities relate to and are influenced by the ideas they encounter in the context of school algebra and geometry. In the second section the contributions take up pedagogical styles and strategies. They tackle such cognitive and metacognitive questions as, What range of learning styles can the Logo setting accommodate? How can teachers make sense of pupils' preferred strategies? And how can teachers help students to reflect on the strategies they are using? Returning to the mathematical structures, essays in the third section consider a variety of mathematical ideas, drawing connections between mathematics and computing and showing the ways in which constructing Logo programs helps or does not help to illuminate the underlying mathematics.