From July 22 to July 24, 2010, the Technische Universit¨at M¨unchen, Germany, hosted the eighth edition of the now well-established ADG workshop dedicated to Automatic Deduction in Geometry. From the first edition, which was held in Toulouse in 1996, to ADG 2010, a slow mutation has taken place. The workshop that was formerly...

There is a strong need for advances in the fields of image indexing and retrieval and visual query languages for multimedia databases. Image technology is facing both classical and novel problems for the organization and filtering of increasingly large amounts of pictorial data. Novel kinds of problems, such as indexing and high-level...

Large-scale information systems in public utility services depend on computing infrastructure. Many research efforts are being made in related areas, such as cloud computing, sensor networks, mobile computing, high-level user interfaces and information accesses by Web users. Government agencies in many countries plan to launch...

At Stanford, we are on the quarter system, and as a result, our introductory database instruction is divided into two courses. The first, CS145, is designed for students who will use database systems but, not necessarily take a job im plementing a DBMS. It is a prerequisite for CS245, which is the introduction...

In the last 15 years, some of us have witnessed mail becoming e-mail, grocery stores becoming www.store, and step-by-step technology becoming part of our daily life. Technology development has radically changed the enterprise's way of doing business. First, daily tasks such as sales, client, and vendor management became...

Elements of Artificial Neural Networks provides a clearly organized general introduction, focusing on a broad range of algorithms, for students and others who want to use neural networks rather than simply study them.The authors, who have been developing and team teaching the material in a one-semester course over the past six years, describe...

Managers do not have the luxury of abdicating participation in information systems decisions.Managers who choose to do so risk limiting their future business options. Information systems are at the heart of virtually every business interaction, process, and decision, especially when one considers the vast penetration of the Web in the...

You may have heard about social networking sites on the Web. If you view a list of social networking Web sites (http://en.wikipedia.org/wiki/List_of_social_networking_ websites) on Wikipedia, a popular reference site, you will see links to more than 100 networking sites, available from around the world and catering to every taste. The...

To be successful, the portable electronic designer must view the prod- uct design process as a part of a broader process of product development. While the insights and creativity of the individual designer are critical in creating a successful product, the designer must be prepared to engage through every phase of product development...

The main purpose of statistical theory is to derive from observations of a random phenomenon an inference about the probability distribution underlying this phenomenon. That is, it provides either an analysis (description) of a past phenomenon, or some predictions about a future phenomenon of a similar nature. In this book, we insist...

On behalf of the PROFES Organizing Committee we are proud to present the proceedings of the 12th International Conference on Product-Focused Software Process Improvement (PROFES 2011), held in Torre Canne, Italy. Since 1999 PROFES has grown in the software engineering community and has become a premium conference that brings together...