Sciweavers

AAAI
2006
13 years 11 months ago
Deciding Semantic Matching of Stateless Services
We present a novel approach to describe and reason about stateless information processing services. It can be seen as an extension of standard descriptions which makes explicit th...
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Hor...
AAAI
2006
13 years 11 months ago
Distributed Interactive Learning in Multi-Agent Systems
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
Jian Huang, Adrian R. Pearce
AAAI
2006
13 years 11 months ago
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
Jinbo Huang, Mark Chavira, Adnan Darwiche
AAAI
2006
13 years 11 months ago
Object Boundary Detection in Images using a Semantic Ontology
We present a novel method for detecting the boundaries between objects in images that uses a large, hierarchical, semantic ontology
Anthony Hoogs, Roderic Collins
AAAI
2006
13 years 11 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
AAAI
2006
13 years 11 months ago
A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
We present a new formulation of distributed task assignment, called Generalized Mutual Assignment Problem (GMAP), which is derived from an NP-hard combinatorial optimization probl...
Katsutoshi Hirayama
AAAI
2006
13 years 11 months ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa
AAAI
2006
13 years 11 months ago
Negation, Contrast and Contradiction in Text Processing
This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and ...
Sanda M. Harabagiu, Andrew Hickl, V. Finley Lacatu...