NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at
https://github.com/plexil-group/plexil. Documentation is found at
https://plexil-group.github.io/plexil_docs. Please use these new locations.
PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools....
XiangQi Wizard (Chinese Chess Wizard) is a powerful XiangQi (chinese chess) program, which supports UCCI engines. XQWizard Light is the Mobile version for Windows CE and Java ME. ElephantEye is the UCCI engine in XQWizard with strong AI.
GEARS Conflict Resolution is an innovative experimental tool developed at the EUROCONTROL Experimental Centre to provide automatic conflict resolutions for air traffic control.
Non-disjoint groupping of Documents based on word sequence approach
This is a GUI for learning non disjoint groups of documents based on Weka machine learning framework. It offers the possibility to make non disjoint
clustering of documents using both vectorial and sequential representation (word sequence approach based on WSK kernel). All data format supported
by WEKA could be used in DocCO. Data could be loaded from files, from
databases or from specified URL. All the preprocessing techniques implemented in
WEKA could be used before performing the learning.
This article talks about how to create a chatterbot that can serve as an interactive help agent. The bot has been "taught" to answer FAQs about a system. It can help solve petty issues for users quickly or point them to a human agent.
A Trial Workbench for Facilitating Best Practices from Prospective to Acute Care in Respiratory Medicine. We aim to provide a set of information management toolboxes that facilitates decision support applications in medical information systems.
CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.
WORF is an open and extensible API framework upon which developers can build new and interesting embedded robot software applications on the Waba platform for their robot creation.
3A-TRE evaluates traditionally logical expressions under 3 assumptions
...In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA).
3A-TRE example:
echo "CWA: (T and U)" | java -jar PTRE.jar
Result: F
3A-PTRE example: (P means possible results)
echo "OWA: (T,U and U,F)" | java -jar PTRE.jar
Result: U,F
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.