5243 search results - page 276 / 1049 » Reasoning About Strategies |
183
click to vote
HCI
2009
15 years 4 months ago
2009
For several years there has been the wish to make colors accessible to blind people. Colors are all around us and sighted people often talk about colors as it is a simple means of ...
153
click to vote
IJCAI
2003
15 years 8 months ago
2003
Minesweeper is a one-person game which looks deceptively easy to play, but where average human performance is far from optimal. Playing the game requires logical, arithmetic and p...
194
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
142
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
186
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...