324 search results - page 54 / 65 » Repairing Incomplete Reasoners |
119
click to vote
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
AVI
2010
15 years 1 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
116
click to vote
CLIMA
2004
15 years 1 months ago
2004
Abstract. In recent years, within the planning literature there has been a departure from approaches computing total plans for given goals, in favour of approaches computing partia...
103
click to vote
IJCAI
2003
15 years 1 months ago
2003
Noun compound interpretation is the task of determining the semantic relations among the constituents of a noun compound. For example, "concrete floor" means a floor mad...
AAAI
2000
15 years 1 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...