Mati Tombak

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 1

Top Topics

Automatically Learned

Top Venues

Publications

Ahti Lohk, Mati Tombak, Kadri Vare
An Experiment: Using Google Translate and Semantic Mirrors to Create Synsets with Many Lexical Units. GWC (2018)
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
Automated correction of design errors by edge redirection on High-Level Decision Diagrams. ISQED (2012)
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
Probabilistic equivalence checking based on high-level decision diagrams. DDECS (2011)
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams. HLDVT (2011)
Ahti Peder, Mati Tombak
Finding the Description of Structure by Counting Method: A Case Study. SOFSEM (2011)
Leo Vohandu, Ahti Peder, Mati Tombak
Permutations and Bijections. EJC (2011)
Mati Tombak, Ain Isotamm, Tõnu Tamme
On Logical Method for Counting Dedekind Numbers. FCT (2001)
Ian P. W. Sillitoe, Mati Tombak
A Compact Look-up Table Structure for Low-level Binary Image Processing. Real Time Imaging 4 (3) (1998)