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.

...Pro dotazy/nahlášení chyb ťukněte na "Discussion" nahoře této stránky, můžete psát česky. ENGLISH: Program originally created for Šanta Kočičí o.s. (cat shelter) as cat evidence system. Consists of GUI to access database stored in text file, for basic users. Can be easily changed for other applications. GUI is localizable but current implementation (table items and editors) is in Czech, also help pages are not translated, you can use Google translator :-). Table items, constraints and editors can be easily changed in code (1 file). ...

OpenLV helps first responders quickly and safely interact with potential evidence much as if they sat down and interacted with a suspect PC

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

...Powered by SOITSA (www.soitsa.com), its structure is the same as the ISO standard and its features facilitate continual service improvement and generate the necessary evidence for internal audits and certification. i20k has been recognized as an excellent software in the testing phase by certified auditors.

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.

This project is moved to: https://github.com/libyal/libewf This site still contains contribs.

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/

MultiViL is a tool for multi-view learning. It supports four classifiers (KNN, Naive-Bayes, Rochio and SVM-Perf), four view combining methods (Majority Voting, Borda Count, Dempster-Shafer theory of evidence and PSO) and provides many analisys tools.

Open source solution for the management of legal firm's case strategy, evidence collection and documentation

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

A java based screen shot utility for capturing test evidence. Simple!

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)

Belvedere is educational software for "knowledge mapping": constructing and reflecting on visual representations of one's ideas. One can build concept maps and evidence models and view them in different visual representations (graph, matrix, hierarchy)

ODESSA - The Open Digital Evidence Search and Seizure Architecture is a cross-platform framework for performing Computer Forensics and Incident Response.

Flats is program for evidence somethinks about flat-building. I want make evidence costs (energy, water, insurance, funds, repairs, ...), problems and reviews. As template is my four flats building.

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.