Sciweavers

AAAI
2006
14 years 1 months ago
A Compact Representation Scheme for Coalitional Games in Open Anonymous Environments
Coalition formation is an important capability of automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered is...
Naoki Ohta, Atsushi Iwasaki, Makoto Yokoo, Kohki M...
AAAI
2006
14 years 1 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan
AAAI
2006
14 years 1 months ago
Learning of Agents with Limited Resources
In this paper we present our preliminary investigation of rational agents who can learn from their experience. We claim that such agents need to combine at least three attributes
Slawomir Nowaczyk
AAAI
2006
14 years 1 months ago
Supporting Queries with Imprecise Constraints
In this paper, we motivate the need for and challenges involved in supporting imprecise queries over Web databases. Then we briefly explain our solution, AIMQ - a domain independe...
Ullas Nambiar, Subbarao Kambhampati
AAAI
2006
14 years 1 months ago
PB-smodels a Pseudo-Boolean Solver
Gayathri Namasivayam
AAAI
2006
14 years 1 months ago
Bayesian Network Based Reparameterization of Haar-like Feature
Object detection using Haar-like features is formulated as a maximum likelihood estimation. Object features are described by an arbitrary Bayesian Network (BN) of Haar-like featur...
Hirotaka Niitsuma
AAAI
2006
14 years 1 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir
AAAI
2006
14 years 1 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
AAAI
2006
14 years 1 months ago
Towards Chemical Universal Turing Machines
Present developments in the natural sciences are providing enormous and challenging opportunities for various AI technologies to have an unprecedented impact in the broader scient...
Stephen Muggleton