3116 search results - page 300 / 624 » Positively dependent types |
181
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Segmentation is one of the first and most integral pre-processing steps for any Fingerprint Recognition System. It is used to identify the region of interest within an image. Perf...
168
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
162
Voted
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
158
click to vote
ITNG
2007
IEEE
16 years 29 days ago
2007
IEEE
—In this paper we survey the state of the art in direct and indirect human computer interaction based biometrics. Direct HCI biometrics are based on abilities, style, preference,...
165
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
— In this paper, we study the asymptotic behavior of the bit–error probability (BEP) and symbol–error probability (SEP) of coherent maximum–ratio combining (MRC) in correla...