Sciweavers

AAAI
2004
13 years 6 months ago
Study of Lower Bound Functions for MAX-2-SAT
Recently, several lower bound functions are proposed for solving the MAX-2-SAT problem optimally in a branch-and-bound algorithm. These lower bounds improve significantly the perf...
Haiou Shen, Hantao Zhang
AAAI
2004
13 years 6 months ago
Useful Roles of Emotions in Artificial Agents: A Case Study from Artificial Life
In this paper, we discuss the role of emotions in AI and possible ways to determine their utility for the design of artificial agents. We propose a research methodology for determ...
Matthias Scheutz
AAAI
2004
13 years 6 months ago
Ergonomics Analysis for Vehicle Assembly Using Artificial Intelligence
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
Nestor Rychtyckyj
AAAI
2004
13 years 6 months ago
CAMEO: Modeling Human Activity in Formal Meeting Situations
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
Paul E. Rybski, Fernando De la Torre, Raju Patil, ...
AAAI
2004
13 years 6 months ago
The Backdoor Key: A Path to Understanding Problem Hardness
Yongshao Ruan, Henry A. Kautz, Eric Horvitz
AAAI
2004
13 years 6 months ago
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
Francesca Rossi, Kristen Brent Venable, Toby Walsh
AAAI
2004
13 years 6 months ago
Complexity of Contextual Reasoning
Floris Roelofsen, Luciano Serafini
AAAI
2004
13 years 6 months ago
Distance Estimates for Planning in the Discrete Belief Space
We present a general framework for studying heuristics for planning in the belief space. Earlier work has focused on giving implementations of heuristics that work well on benchma...
Jussi Rintanen