125
Voted
DIS
2010
Springer
15 years 1 months ago
2010
Springer
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
137
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present an agent-based coordination and planning method for aerial surveillance of multiple urban areas using a group of fixed-wing unmanned aerial vehicles (UAVs). The method ...
75
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
110
Voted
AAAI
2010
15 years 1 months ago
2010
We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other We...
127
Voted
AAAI
2010
15 years 1 months ago
2010
We consider in this paper the size of a Decomposable Negation Normal Form (DNNF) that respects a given vtree (known as structured DNNF). This representation of propositional knowl...
145
Voted
AAAI
2010
15 years 1 months ago
2010
Multi-instance learning, as other machine learning tasks, also suffers from the curse of dimensionality. Although dimensionality reduction methods have been investigated for many ...
139
Voted
AAAI
2010
15 years 1 months ago
2010
We consider the problem of manipulating elections via cloning candidates. In our model, a manipulator can replace each candidate c by one or more clones, i.e., new candidates that...
115
Voted
AAAI
2010
15 years 1 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...