1566 search results - page 226 / 314 » Planning and learning together |
156
click to vote
AAAI
1997
15 years 8 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
206
click to vote
IJCAI
1997
15 years 8 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
151
click to vote
NIPS
1997
15 years 8 months ago
1997
Prioritized sweeping is a model-based reinforcement learning method that attempts to focus an agent’s limited computational resources to achieve a good estimate of the value of ...
164
click to vote
IJET
2008
15 years 6 months ago
2008
Teachers have to work with e-portfolio with their students. This is a very demanding task because they never were educated with e-portfolio themselves. Therefore a European Comeniu...
162
click to vote
NETWORK
2008
15 years 6 months ago
2008
Today, network address translators, or NATs, are everywhere. Their ubiquitous adoption was not promoted by design or planning but by the continued growth of the Internet, which pl...