1063 search results - page 143 / 213 » Order and Negation as Failure |
178
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...
160
click to vote
SGAI
2010
Springer
15 years 4 months ago
2010
Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
147
click to vote
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...
177
click to vote
ICMCS
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--In this paper, a novel method is proposed as a solution to the problem of frontal view recognition from multiview image sequences. Our aim is to correctly identify the vi...
193
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...