Skip to content
Home
Search
Guides
Journals
Learning
Our Team
Get the App
🌐
EN
ES
FR
PT
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Search for more channels:
Author: Geldenhuys, Jaco
Channel Options
Show items as search results
Explore related channels
Quick Look
FATKID : a Finite Automaton Toolkit
Load more items
Similar Items: FATKID : a Finite Automaton Toolkit
Channel Options
View Record
Explore related channels
Quick Look
Minimization of symmetric difference finite automata
Quick Look
Random generation of finite automata over the domain of the regular languages
Quick Look
Developing a generic network planning interface
Quick Look
Kernel support for embedded reactive systems
Quick Look
Neural network ensembles
Quick Look
Human-computer interface using a web camera
Quick Look
Sensitivity analysis of multilayer neural networks
Quick Look
Utilizing graph-based representation of text in a hybrid approach to multiple documents summarization
Quick Look
A web-based graphical user interface to display spatial data
Quick Look
n Programkern vir gebruik met 'n interaktiewe grafiese kern
Quick Look
Reducing communication in distributed model checking
Quick Look
Criteria for the evaluation of private cloud computing
Quick Look
Distributed binary decision diagrams
Quick Look
Regulated rewriting in formal language theory
Quick Look
On providing an efficient and reliable virtual block storage service
Quick Look
Realization of finite groups as Galois Groups over Q in Qtot,p
Quick Look
GrailKnights : an automaton mass manipulation package for enhanced pattern analysis
Quick Look
Multimodal morphological classification of radio galaxies
Quick Look
Formal specification and verification of safety interlock systems: A comparative case study
Quick Look
A formal language theory approach to music generation
Quick Look
A program slicer for LF
Quick Look
A kernel to support computer-aided verification of embedded software
Quick Look
Open, closed and mixed queueing networks with distinct customer classes
Quick Look
Extended probabilistic symbolic execution
Load more items
View Record
Prev
Explore related channels
Next
