| Andrew M. Dearden. The engineering of interactive case memories. DPhil 2nd year report, University of York, Department of Computer Science, September 1993. |
.... C In this definition the enquiry function Q takes as input a CB and a PS and returns an ordering over the cases. The definition of orderings used allows for many types of ordering including total ordering, the selection of a single best case , or a partial ordering. For details of the model see [3]. The state of an ICM is defined by including a CM, and having a specific value for the current problem statement and a value for the current case ordering. ICMstate CM currP : PS currCs : Cases Cases currCs = Q(Cb; currP) The statement(s) below the middle line of the schema denote invariant ....
Andrew M. Dearden. The engineering of interactive case memories. DPhil 2nd year report, University of York, Department of Computer Science, September 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC