We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
Tracking and recognizing non-rigid objects in video image sequences are complex tasks of increasing importance to many applications. In this paper, we present a hierarchical reali...
SangKyu Kang, Joon Ki Paik, Besma R. Abidi, Yan Zh...
A new hand gesture recognition method based on Input– Output Hidden Markov Models is presented. This method deals with the dynamic aspects of gestures. Gestures are extracted fr...
We present a method for searching for achordal open paths (snakes) in n-dimensional hypercube graphs (the box). Our technique first obtains a set of exemplary snakes using an evo...
Daniel R. Tuohy, Walter D. Potter, Darren A. Casel...
In this paper we present the method of lines for the numerical solution of a mathematical model for capillary formation in two space dimensions x,y. We study the tumor angiogenic ...