3909 search results - page 297 / 782 » Extreme Model Checking |
146
Voted
CVPR
1999
IEEE
16 years 5 months ago
1999
IEEE
In this work, we use points, lines, and the linear extremal contours of cylinders to estimate the position and orientation of the camera in the world coordinate system. Other line...
110
Voted
EXTREME
2004
ACM
15 years 9 months ago
2004
ACM
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
139
Voted
WSC
2008
15 years 6 months ago
2008
This research presents an integrated simulation modelingDesign For Six Sigma (DFSS) framework to study the design and process issues in a server manufacturing environment. The ser...
129
Voted
ICCAD
2003
IEEE
16 years 17 days ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
137
Voted
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...