temporal inference engine online with Winfy

We have hosted the application temporal inference engine in order to run this application in our online workstations with Wine or directly.

Quick description about temporal inference engine:

A real time inference engine for temporal logic specifications, which is able to process and generate any binary signal through Linux IPC or files. Specifications of signals are represented as special graphs and executed in real time. Accepted language provides timed logic operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

Features:

• Fast Inference Engine
• Real Time or Batch Run
• Temporal Logic Networks
• Specification Execution
• Optional Multithreading
• Communication through Linux IPC or Files
• Sampling Time of Few Milliseconds
• Compiler Included
• Network Support

Audience: Information Technology, Science/Research, Developers, Engineering.
User interface: Gnome, Command-line.
Programming Language: C.
Categories: