Search Results for "engineering software"

...ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.

A computer scientist has attempted to program a textbook of British general practice (primary care) medicine, that is, Hodgkin K (1978) "Towards Earlier Diagnosis....", 4th Edition, Churchill Livingstone. If a patient types presenting findings (such as headache, cough), the program prompts the user for expansion/denial of appropriate findings, in order to construct a list of patient findings. The program also calculates a list of likely diseases, which the user can use the web to find out...

This is software to create web dictionaries, esp. for Esperanto like Reta Vortaro (http://reta-vortaro.de). A dictionary is made from articles written in a special XML dialect by transformations using XSLT, ant and some Java code.

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

Python interface to ECLiPSe Constraint Logic Programming.

Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.

OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.

Dali is a standard DAta structure LIbrary for Prolog. It only uses ISO Prolog. It offers a wide range of efficient data structures.

A prolog-based functional-logical "Make" tool for managing the execution of complex interdependent tasks

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.