Massive transaction data sets are recorded in a routine manner in telecommunications, retail commerce, and Web site management. In this paper we address the problem of inferring predictive individual profiles from such historical transaction data. We describe a generative mixture model for count data and use an an approximate Bayesian estimation framework that effectively combines an individual's specific history with more general population patterns. We use a large real-world retail transaction data set to illustrate how these profiles consistently outperform non-mixture and non-Bayesian techniques in predicting customer behavior in out-of-sample data.

Massive transaction data sets are recorded in a routine manner in telecommunications, retail commerce, and Web site management. In this paper we address the problem of inferring predictive individual profilesfrom such historical transaction data. We describe a generative mixture model for count data and use an an approximate Bayesian estimation framework that effectively combines anindividual's specific history with more general population patterns. We use a large real-world retail transaction data set to illustrate how these profiles consistently outperform non-mixture and non-Bayesian techniques in predicting customer behavior in out-of-sample data.

The system generates traffic flow measurements that enable traffic operations centers to monitor traffic movement and better respond to accidents Wal-Mart Stores (Bentonville, Ark.) Tektronix (Wilsonville, Ore.), a and congestion. This system, which manage its automated storage and models for its computer-assisted includes fuzzy logic and neural network retrieval system. The systems will Mexico), a producer of metals, has Calif.) is using visualization and digital monitor satellite signals in near real implemented an intelligent system to prototyping software for vehicle time, alerting operators to out-of-tolerance improve its zinc yield. The advanced design and manufacturing within its conditions and the presence of control expert system provides operator new concurrent engineering system. The application was developed and virtual manufacturing.

The supply-chain integrated ordering network (SCION) depot-bookings system automates the planning and scheduling of perishable and nonperishable commodities and the vehicles that carry them into J. Sainsbury depots. This initiative is strategic, enabling the business to make the key move from weekly to daily ordering. The system is mission critical, managing the inward flow of commodities from suppliers into J. Sainsbury's depots. The system leverages AI techniques to provide a business solution that meets challenging functional and performance needs. The SCION depot-bookings system is operational, providing schedules for 22 depots across the United Kingdom.

Sorry, we just need to make sure you're not a robot. For best results, please make sure your browser is accepting cookies.

"This is a popular interpretation of expert systems - computer models providing artificial intelligence to managers and businessmen - which are transforming business in the 1980s. The book gives an inside view of many international companies such as Canon, Westinghouse, IBM, Du Pont and others." New York: Times Books.

"Knowledge-Based Tutoring describes the advantages and difficulties of adapting an expert system for use in teaching and problem solving. In this case the well-known rule-based expert system, MYCIN, which has been widely used in medical artificial intelligence to do infectious disease diagnosis and therapy selection, is used as a base for the instructional program GUIDON. MYCIN's rules are interpreted by GUIDON in order to evaluate a student's problem solving and provide assistance as the student gathers information about a patient and makes a diagnosis. The book describes what GUIDON does, how it is constructed, and the benefits and limitations of its design."

A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval. Rather than focusing on the subject matter of the applications, the book is organized around general computational concepts involving the kinds of data structures used, the types of operations performed on the data structures, and the properties of the control strategies used. Palo Alto, California: Tioga.

Sorry, we just need to make sure you're not a robot. For best results, please make sure your browser is accepting cookies.

"With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treatment is self-contained, and each chapter concludes with bibliographic remarks, references, and problems." New York: McGraw-Hill, 1974.