2864 search results - page 365 / 573 » Coordination of Many Agents |
141
click to vote
AAAI
2007
15 years 9 months ago
2007
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
179
click to vote
AAAI
2007
15 years 9 months ago
2007
In semi-supervised learning, a number of labeled examples are usually required for training an initial weakly useful predictor which is in turn used for exploiting the unlabeled e...
178
click to vote
AAAI
2008
15 years 9 months ago
2008
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelik...
144
click to vote
AAAI
2007
15 years 9 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
188
click to vote
AAAI
2007
15 years 9 months ago
2007
Solving logic puzzles has become a very popular past-time, particularly since the Sudoku puzzle started appearing in newspapers all over the world. We have developed a puzzle gene...