Vol 28, No 3

Fall 2007

Table of Contents

Editorials

Introduction to the Special Issue on Innovative Applications of Artificial Intelligence PDF
Bruce Porter, William Cheetham 11

Articles

Constraint-Based Random Stimuli Generation for Hardware Verification PDF
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, Gil Shurek 13
Machine Translation for Manufacturing: A Case Study at Ford Motor Company PDF
Nestor Rychtyckyj 31
Expressive Commerce and Its Application to Sourcing: How We Conducted $35 Billion of Generalized Combinatorial Auctions PDF
Tuomas Sandholm 45
Heuristic Search and Information Visualization Methods for School Redistricting PDF
Marie desJardins, Blazej Bulka, Ryan Carr, Eric Jordan, Penny Rheingans 59
AWDRAT: A Cognitive Middleware System for Information Survivability PDF
Howard Shrobe, Robert Laddaga, Bob Balzer, Neil Goldman, Dave Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed 73

Reports

The Second International Conference on Human-Robot Interaction PDF
Alan C. Schultz, Cynthia Breazeal, Terry Fong, Sara Kiesler 92
AAAI 2007 Spring Symposium Series Reports PDF
Thomas Barkowsky, Peter Bruza, Zachary Dodds, Oren Etzioni, George Ferguson, Piotr Gmytrasiewicz, Bernhard Hommel, Benjamin Kuipers, Rob Miller, Leora Morgenstern, Simon Parsons, Holger Schultheis, Adriana Tapus, Neil Yorke-Smith 94

Departments

AAAI News PDF
Carol Hamilton 3
Calendar of Events PDF
AAAI 102

Columns

AI in the News PDF
Jonathan Glick 104


Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.