Hofmaier/SemDbms_textclassification
articel about machine learning methods for text classification and information retrieval
Public GitHub Catalog
Discovered Sep 27, 2026
Hofmaier / SemProgAnTr_modelchecking
article about modelchecking with spin modelchecking
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10267569GitHub System ID
HofmaierOrganization / User
PublicVisibility
ActiveCatalog Status
More from Hofmaier
Hofmaier/WrStat
Contains a Latex Cheatsheet for the course Wahrscheinlichkeit und Statistik at HSR
Hofmaier/wintermute
Supports a workflow for astrophotography
Hofmaier/ObjectCaching
a proof of concept for rmi with object caching