AAAI
2008
13 years 12 months ago
2008
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
AAAI
2007
13 years 12 months ago
2007
AAAI
2008
13 years 12 months ago
2008
The Intelligence in Wikipedia project at the University of Washington is combining self-supervised information extraction (IE) techniques with a mixed initiative interface designe...
AAAI
2007
13 years 12 months ago
2007
String kernels directly model sequence similarities without the necessity of extracting numerical features in a vector space. Since they better capture complex traits in the seque...
AAAI
2007
13 years 12 months ago
2007
A web page may be relevant to multiple topics; even when nominally on a single topic, the page may attract attention (and thus links) from multiple communities. Instead of indiscr...
AAAI
2008
13 years 12 months ago
2008
We have spelling and grammar checking tools available on today's word processors. But what they are missing is a tool that can recommend several possibilities of a given writ...
AAAI
2007
13 years 12 months ago
2007
As robots become more involved in assisting us in large and hazardous operations, such as search and rescue, we can anticipate that diverse robots will come together with the need...
AAAI
2007
13 years 12 months ago
2007
AAAI
2008
13 years 12 months ago
2008
We present a real-time strategy (RTS) game AI agent that integrates multiple specialist components to play a complete game. Based on an analysis of how skilled human players conce...
AAAI
2007
13 years 12 months ago
2007
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...