9490 search results - page 421 / 1898 » Slow Intelligence Systems |
163
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
We have analyzed a corpus of human-authored arguments expressed in text and information graphics, non-pictorial graphics such as bar graphs. The goal of our research is to enable i...
209
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for...
168
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
190
click to vote
ICMLA
2008
15 years 8 months ago
2008
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
190
click to vote
FLAIRS
2001
15 years 8 months ago
2001
This paper demonstrates that case-based reasoning is ideally suited to the creation of knowledge management systems. This is because of the close match between the activities of t...