Search Results for "evidence"

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

This project was moved to https://code.google.com/p/evidence-bucket/

A java-based framework to determine file origins on a file system by accessing system and application logs and track the evidence trace through metadata.

CallSim is a software application that provides evidence for the validity of base calls believed to be sequencing errors and it is applicable to Ion Torrent and 454 data. CallSim provides a final classification or rescue of a base/indel in reads, where putative variants have been identified via typical SNP/indel workflows. plots rendered by: JFreeChart library http://sourceforge.net/projects/jfreechart/

A library written in Java for performing calculations in the Dempster-Shafer theory of evidence.

Evidence-based Guideline and Decision Support System. Provides patient specific point of care reminders in order to aid physicians provide high quality care. Input/output in the form of HL7 CDA Level 2 documents. Knowledge is encoded using Arden Syntax.

IDEM (Image and Diagnosis from the Evidence in Medicine)

SAAT Semi-Automated Annotation Tools The Medical University Graz, in cooperation with the Fraunhofer Institute for Biomedical Engineering IBMT is developing the SAAT - Semi-Automated Annotation Tools in the CRIP context.