1056 search results - page 154 / 212 » ijcai 2007 |
137
click to vote
IJCAI
2003
15 years 7 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...
183
click to vote
IJCAI
2003
15 years 7 months ago
2003
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...
172
click to vote
IJCAI
2003
15 years 7 months ago
2003
Whenever people move through their environments they do not move randomly. Instead, they usually follow specific trajectories or motion patterns corresponding to their intentions....
178
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
178
click to vote
IJCAI
2003
15 years 7 months ago
2003
In this paper we propose a methodology to learn to extract domain-specific information from large repositories (e.g. the Web) with minimum user intervention. Learning is seeded b...