7109 search results - page 179 / 1422 » Process Algebra with Combinators |
157
Voted
MCETECH
2009
Springer
15 years 10 months ago
2009
Springer
Text-based passwords alone are subject to dictionary attacks as users tend to choose weak passwords in favor of memorability, as well as phishing attacks. Many recognition-based gr...
177
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
116
Voted
FGR
2008
IEEE
15 years 10 months ago
2008
IEEE
Facial expressions are part of emotional reactions. However, humans can voluntarily pose a specific emotional expression without having the corresponding underlying feeling, or vo...
154
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
The paper presents a model of visual attention combined with eye tracking to drive content-based retrieval of image data in order to facilitate understanding and development of ne...
148
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we present a method of combining stereo and shape-from-shading information, taking account of the local reliability of each shape estimate. Local estimates of dispar...