Vadim Mazalov

Learn More
Epistemic logic is the logic of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine card? Is it harmful if, at a literature-exam you don't know the contents of a chapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your(More)
We present a method to compress digital ink based on piecewise-linear approximation within a given error threshold. The objective is to achieve good compression ratio with very fast execution. The method is especially effective on types of handwriting that have large portions with nearly linear parts, e.g. hand drawn geometric objects. We compare this(More)
We present an approach to recognize handwritten characters independently of their orientation. The method is based on the theory of integral invariants and yields good results in classifying rotated samples. We propose two recognition techniques taking advantage of integral invariants up to second order. Truncated Legendre-Sobolev series are used to(More)
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation, since these types of transformations occur most often in practice, and focus most on shear within this framework. We present a distance-based classification method, in which(More)
Earlier work has shown how to recognize handwritten characters by representing coordinate functions or integral invariants as truncated orthogonal series. The series basis functions are orthogonal polynomials defined by a Legendre-Sobolev inner product. It has been shown that the free parameter in the inner product, the “jet scale”, has an impact on(More)
We are interested in achieving the best possible recognition rates for hand-written mathematics. This problem has challenges that go beyond the usual natural language handwriting recognition: multiple alphabets are used, the number of single-stroke and few-stroke symbols numbers in the hundreds, writers form symbols from some of the alphabets in(More)
We present a framework for pen-based, multi-user, online collaboration in mathematical domains. This environment provides participants, who may be in the same room or across the planet, with a shared whiteboard and voice channel. The digital ink stream is transmitted as InkML, allowing special recognizers for different content types, such as mathematics and(More)