2488 search results - page 287 / 498 » An improvement in formal verification |
111
click to vote
BIOSIG
2009
15 years 2 months ago
2009
: The widespread use of biometrics and its increased popularity introduces privacy risks. In order to mitigate these risks, solutions such as the helper-data system, fuzzy vault, f...
121
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
COGSCI
2010
15 years 1 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
112
click to vote
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Prototype classifiers trained with multi-class classification objective are inferior in pattern retrieval and outlier rejection. To improve the binary classification (detection, v...
109
click to vote
ACL
2009
14 years 11 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...