4617 search results - page 739 / 924 » Automation of Diagrammatic Reasoning |
158
click to vote
ICCBR
2003
Springer
16 years 9 days ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
169
Voted
ICCBR
2003
Springer
16 years 9 days ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
178
click to vote
ICCBR
2003
Springer
16 years 9 days ago
2003
Springer
In the past conversational recommender systems have adopted a similarity-based approach to recommendation, preferring cases that are similar to some user query or profile. Recent ...
170
click to vote
ICCS
2003
Springer
16 years 9 days ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
202
click to vote
ICLP
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...