Mati Tombak

According to our database, Mati Tombak authored at least 8 papers between 1998 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An Experiment: Using Google Translate and Semantic Mirrors to Create Synsets with Many Lexical Units.

Ahti Lohk, Mati Tombak, Kadri Vare

Proceedings of the 9th Global Wordnet Conference, 2018

2012

Automated correction of design errors by edge redirection on High-Level Decision Diagrams.

Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik

Proceedings of the Thirteenth International Symposium on Quality Electronic Design, 2012

2011

Finding the Description of Structure by Counting Method: A Case Study.

Ahti Peder, Mati Tombak

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams.

Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Permutations and Bijections.

Leo Vohandu, Ahti Peder, Mati Tombak

Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

Probabilistic equivalence checking based on high-level decision diagrams.

Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2001

On Logical Method for Counting Dedekind Numbers.

Mati Tombak, Ain Isotamm, Tõnu Tamme

Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

1998

A Compact Look-up Table Structure for Low-level Binary Image Processing.

Ian P. W. Sillitoe, Mati Tombak

Real Time Imaging, 1998