3856 search results - page 221 / 772 » Models for Automated Earthmoving |
188
click to vote
CSL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
207
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
181
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
156
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
The automated prediction of a user's interests and requirements is an area of interest to the Artificial Intelligence community. However, current predictive statistical approa...
174
click to vote
UKCBR
1995
15 years 10 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...