Sciweavers

10435 search results - page 383 / 2087
» Measuring system normality
Sort
View
CHI
2007
ACM
16 years 7 months ago
Protecting people from phishing: the design and evaluation of an embedded training email system
Phishing attacks, in which criminals lure Internet users to websites that impersonate legitimate sites, are occurring with increasing frequency and are causing considerable harm t...
Ponnurangam Kumaraguru, Yong Rhee, Alessandro Acqu...
AVBPA
2005
Springer
320views Biometrics» more  AVBPA 2005»
16 years 9 days ago
A Principled Approach to Score Level Fusion in Multimodal Biometric Systems
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
Sarat C. Dass, Karthik Nandakumar, Anil K. Jain
CSL
2005
Springer
16 years 9 days ago
A Propositional Proof System for Log Space
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
Steven Perron
LATIN
2004
Springer
16 years 4 days ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
ICRA
2003
IEEE
100views Robotics» more  ICRA 2003»
16 years 1 days ago
New finishing system for metallic molds using a hybrid motion/force control
In this paper, a finishing system with a mounted abrasive tool is proposed for finishing of metallic molds. The shape of the mounted abrasive tool is a ball-end type. When a metal...
Fusaomi Nagata, Keigo Watanabe, Yukihiro Kusumoto,...