In this paper, we present a new model-based approach for building 3-D models of vehicles from color video provided by a traffic surveillance camera. We incrementally build 3D mode...
This paper describes stochastic modeling of pencoordinate information in HMMs with structured character pattern representation (SCPR) for on-line Japanese handwriting recognition....
Akihito Kitadai, Gleidson Pegoretti da Silva, Junk...
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
Marco Sgroi, Michael Sheets, Andrew Mihal, Kurt Ke...
Early removal of polyps has proven to decrease the incidence of colon cancer. We aim to increase the sensitivity of the screening by automatic detection of polyps. It requires accu...
Cees van Wijk, Roel Truyen, Rogier E. van Gelder, ...
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...