We present a new statistical language model based on a Colnbination of individual word language models. Each word model is built from an individual corpus which is formed by extra...
— This paper presents a new mathematical model for the human behavior called Stochastic Switched Linear Dynamical (SS-LD) model. The SS-LD model can be regarded as a natural exte...
In the paper we present a model based method for generating 3D face models from multiple images by means of an energy minimization algorithm. The energy function takes into accoun...
Discovering causal relations among observed variables in a given data set is a main topic in studies of statistics and artificial intelligence. Recently, some techniques to disco...
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
Moshe Emmer, Zurab Khasidashvili, Konstantin Korov...