257 search results - page 24 / 52 » Automatic red-eye detection and correction |
HYBRID
1995
Springer
14 years 9 days ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
AAAI
2000
13 years 10 months ago
2000
The proliferation of online information sources has accentuated the need for tools that automatically validate and recognize data. We present an efficient algorithm that learns st...
CBMS
2007
IEEE
14 years 3 months ago
2007
IEEE
Bronchopulmonary segments are subdivisions of lung lobes and provide detailed description of lung anatomy. They are used in surgical resection planning and airway disease quantifi...
RSP
2007
IEEE
14 years 3 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
FGR
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a method to learn models of human heads for the purpose of detection from different viewing angles. We focus on a model where objects are represented as constellations ...