868 search results - page 111 / 174 » Alternative Essences of Intelligence |
106
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
119
click to vote
DIAGRAMS
2008
Springer
2008
Springer
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants
15 years 1 months ago
In linguistics, it is quite common to use tree diagrams for immediate constituent analysis of sentences. Traditionally, these trees are binary and twodimensional. However, phenomen...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Pattern Databases were a major breakthrough in heuristic search by solving hard combinatorial problems various orders of magnitude faster than state-of-the-art techniques at that ...
AAAI
2010
15 years 1 months ago
2010
We consider the problem of incorporating end-user advice into reinforcement learning (RL). In our setting, the learner alternates between practicing, where learning is based on ac...
AAAI
2010
15 years 1 months ago
2010
In order to improve the user search experience, Query Suggestion, a technique for generating alternative queries to Web users, has become an indispensable feature for commercial s...