Browsing by author "Claesen, Luc"
Now showing items 21-22 of 22
-
Utilizing Baum-Welch for on-line signature verification
Martens, Ronny; Claesen, Luc (1998) -
Verification of finite-state-machine refinements using a symbolic technology
Hendricx, Stefan; Claesen, Luc (1999)