Search Results for "path"

...Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

...SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.

...It is possible to estimate sensitivities with respect to system parameters using the following algorithms: finite difference methods (crude monte carlo, common reaction path, coupled finite differences); likelihood ratio methods; and regularized pathwise derivatives. Additionally the package includes basic stochastic simulation algorithms. The package includes several example networks which can be easily modified for other networks. Serial and parallel MPI implementations can be built and called from the command line. ...

This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path. We have added a new local action construct, i.e. a self method call.

DARPA Urban Challenge, a C++ based platform for testing Path Planning Algorithms: An application of Game Theory and Neural Networks. Rubin, Raphael (2007)

C++ Virtual Object Networking Classes. This is a series of generic objects that can be 'linked' together and generic objects that can 'navigate' the networked objects. Supports: mapping, finding/path tracing.