7109 search results - page 179 / 1422 » Process Algebra with Combinators |
230
click to vote
MCETECH
2009
Springer
16 years 1 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...
237
click to vote
MKM
2009
Springer
16 years 1 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...
164
click to vote
FGR
2008
IEEE
16 years 1 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...
229
Voted
ICPR
2008
IEEE
16 years 1 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...
219
click to vote
ICPR
2008
IEEE
16 years 1 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...