4355 search results - page 346 / 871 » Increasing Kolmogorov Complexity |
174
click to vote
SCAI
2001
15 years 8 months ago
2001
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...
160
click to vote
UAI
2001
15 years 8 months ago
2001
In this paper we present three different architectures for the evaluation of influence diagrams: HUGIN, Shafer-Shenoy (S-S), and Lazy Propagation (LP). HUGIN and LP are two new ar...
183
Voted
WEBNET
2001
15 years 8 months ago
2001
: Modern security architectures tend to become more and more complex. Not only the chances to improve Web applications using several data channels and diverse (TCP-)ports are very ...
144
click to vote
WSC
2004
15 years 8 months ago
2004
The Department of Defense (DoD) has become increasingly reliant on models and in particular on simulation models. The military-defense establishment and its combat-preparation ori...
163
click to vote
AAAI
1998
15 years 8 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...