1683 search results - page 6 / 337 » A Needed Narrowing Strategy |
DAGM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Object recognition systems have their roots in the AI community, and originally addressed the problem of object categorization. These early systems, however, were limited...
ICALT
2007
IEEE
14 years 1 months ago
2007
IEEE
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
ENTCS
2006
13 years 7 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...