Showing 3 open source projects for "syntax tree model"

View related business solutions
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • Go From Idea to Deployed AI App Fast Icon
    Go From Idea to Deployed AI App Fast

    One platform to build, fine-tune, and deploy. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 1

    VeriSiMPL

    Verification via biSimulations of Max-Plus-Linear models

    ...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Rand Tree

    Rand Tree

    Random Tree Generator for MatLab

    RandTree is a MatLab based tree simulator program where the algorithm is based on Honda's model. We have used probabilistic generation of branches in order to simulate visually realistic tree structures. This program is designed to generate branching structures with bifurcation branching pattern (sympodial branching). By changing the probabilities and branching angles, you can generate different shapes of trees.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Matlab Classification Toolbox contains implementations of the following classifiers: Naive Bayes, Gaussian, Gaussian Mixture Model, Decision Tree and Neural Networks. This toolbox allows users to compare classifiers across various data sets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB