Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
AI Magazine
Current
Archives
Announcements
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Contact
Search
Search
Login
Search
Search
Home
/
Archives
/
Vol. 28 No. 3: Fall 2007
Vol. 28 No. 3: Fall 2007
Published:
2007-09-15
Editorials
Introduction to the Special Issue on Innovative Applications of Artificial Intelligence
Bruce Porter, William Cheetham
11
PDF
Articles
Constraint-Based Random Stimuli Generation for Hardware Verification
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, Gil Shurek
13
PDF
Machine Translation for Manufacturing: A Case Study at Ford Motor Company
Nestor Rychtyckyj
31
PDF
Expressive Commerce and Its Application to Sourcing: How We Conducted $35 Billion of Generalized Combinatorial Auctions
Tuomas Sandholm
45
PDF
Heuristic Search and Information Visualization Methods for School Redistricting
Marie desJardins, Blazej Bulka, Ryan Carr, Eric Jordan, Penny Rheingans
59
PDF
AWDRAT: A Cognitive Middleware System for Information Survivability
Howard Shrobe, Robert Laddaga, Bob Balzer, Neil Goldman, Dave Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
73
PDF
Workshop Reports
The Second International Conference on Human-Robot Interaction
Alan C. Schultz, Cynthia Breazeal, Terry Fong, Sara Kiesler
92
PDF
AAAI 2007 Spring Symposium Series Reports
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
PDF
Departments
AAAI News
Carol Hamilton
3
PDF
Calendar of Events
AAAI
102
PDF
AI in the News
Jonathan Glick
104
PDF
Information
For Readers
For Authors
Developed By
Open Journal Systems
Part of the
PKP Publishing Services Network