2286 search results - page 430 / 458 » The Combination and Evaluation of Query Performance Predicti... |
100
click to vote
BROADNETS
2006
IEEE
15 years 5 months ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...
AVSS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, a hybrid technique for face detection in color images is presented. The proposed technique combines three analysis models, namely skin detection, automatic eye loca...
151
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
85
Voted
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
The Layered Pareto Coevolution Archive (LAPCA) was recently proposed as an effective Coevolutionary Memory (CM) which, under certain assumptions, approximates monotonic progress i...