759 search results - page 152 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
124
Voted
ER
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
96
Voted
PVLDB
2010
14 years 11 months ago
2010
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
109
Voted
ICDAR
2011
IEEE
14 years 22 days ago
2011
IEEE
—In this paper, we propose a new method for three dimensional rotation-free recognition of characters in scene. In the proposed method, we employ the Modified Quadratic Discrimi...
135
Voted
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
In this work, we present an approach to jointly segment a rigid object in a 2D image and estimate its 3D pose, using the knowledge of a 3D model. We naturally couple the two proces...