We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
Chia-Chi Teng, Linda G. Shapiro, Ira J. Kalet, Car...
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...
Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Sh...