A JavaScript Library for Dimensionality Reduction
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Theory notes, exercises, and project - Software Engineering II course - Computer Science @ FAMAF (UNC)
A fast structure from motion pipeline written in Pytorch.
Relevant files used for the project 'Characterization of Implied Scenarios as Families of Common Behavior'.
Demonstration of a concurrent printing system (Java & FSP), that has several students that share a printer to print documents, and two technicians that refill it with paper and toner cartridges.
FSP component for Concurrent Programming coursework
Add a description, image, and links to the ltsa topic page so that developers can more easily learn about it.
To associate your repository with the ltsa topic, visit your repo's landing page and select "manage topics."