70 search results - page 9 / 14 » Counting Votes with Formal Methods |
JUCS
2008
13 years 8 months ago
2008
: Some measures such as mean average precision and recall level precision are considered as good system-oriented measures, because they concern both precision and recall that are t...
TIFS
2008
13 years 8 months ago
2008
In this paper, we introduce a new system for 3-D face recognition based on the fusion of results from a committee of regions that have been independently matched. Experimental resu...
MCS
2005
Springer
14 years 2 months ago
2005
Springer
Mixed Group Ranks is a parametric method for combining rank based classi ers that is eective for many-class problems. Its parametric structure combines qualities of voting methods...
BMEI
2009
IEEE
13 years 9 months ago
2009
IEEE
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...