Sciweavers

4597 search results - page 700 / 920
» Structuring Agents for Adaptation
Sort
View
ICPR
2006
IEEE
16 years 7 months ago
Incremental Vehicle 3-D Modeling from Video
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...
Bir Bhanu, Nirmalya Ghosh
ICPR
2006
IEEE
16 years 7 months ago
Pen-Coordinate Information Modeling by SCPR-based HMM for On-line Japanese Handwriting Recognition
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...
DAC
2001
ACM
16 years 7 months ago
Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design
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...
MICCAI
2004
Springer
16 years 7 months ago
On Normalized Convolution to Measure Curvature Features for Automatic Polyp Detection
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, ...
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
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...
Martin Wehrle, Malte Helmert