Powerful domain-independent planners have been developed to solve various types of planning problems. These often require a model the acting agent's actions, given in some domain description language. Yet obtaining such an action is notoriously hard task. This task even more challenging mission-critical domains, where trial-and-error approach learning how act not option. In used generate plans ...

Cosine Numeric Abstract, Cosine Logical Abstract, Overlap Logical Overlap Logical Abstract, Cosine Numeric Cosine Numeric Text, Cosine Numeric Text, Cosine Logical Text, Overlap Logical Abstract, Cosine Numeric Cosine Numeric Abstract, Cosine Logical Cosine Logical Title, Cosine Numeric EVALUATION MEASURE Normed. Recall Normed. Precision Normed. Recall Normed. Precision Normed. Recall Normed. P...

We propose an integrated approach to decision support and diagnostic problems based on topdown induction of decision trees (TDIDT) and case-based reasoning (CBR). This approach has been implemented within the INRECA1 Esprit project. While different ways of integration (Auriol, Manago et al., 1994) and evaluation (Althoff, Auriol et al., 1995; Althoff, 1995a; 1995b) have been carried out in the ...

We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

Capturing clinical observations and findings during the diagnostic imaging process is increasingly becoming a critical step in diagnostic reporting. Standards developers—notably HL7 and DICOM—are making significant progress toward standards that enable exchanging clinical observations and findings among the various information systems of the healthcare enterprise. DICOM—like the HL7 Clinical Do...