The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...
Inhomogeneous Gibbs model (IGM) [4] is an effective maximum entropy model in characterizing complex highdimensional distributions. However, its training process is so slow that th...
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
In this paper we consider two basic questions regarding the query complexity of testing graph properties in the adjacency matrix model. The first question refers to the relation ...
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...