Sciweavers

564 search results - page 7 / 113
» Corner cutting systems
Sort
View
APAL
2008
111views more  APAL 2008»
13 years 7 months ago
Cut elimination for a simple formulation of epsilon calculus
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
Grigori Mints
HICSS
2005
IEEE
113views Biometrics» more  HICSS 2005»
14 years 1 months ago
Static Collapse and Topological Cuts
This paper explores the relationships between power system static collapse and flows in topological cuts. It seeks a “local” detection of this “global” phenomenon. The pap...
Santiago Grijalva, Peter W. Sauer
ICIP
2006
IEEE
14 years 9 months ago
Real Time Lip Motion Analysis for a Person Authentication System using Near Infrared Illumination
In this paper we present an approach for lip motion analysis that can be used in conjunction with a person authentication system based on face recognition, to avoid attacks on the...
Faisal Shafait, Ralph Kricke, Islam Shdaifat, Rolf...
DICTA
2003
13 years 9 months ago
Automatic Image Mosaic System Using Image Feature Detection and Taylor Series
Image mosaicing has been collecting considerable attention in the field of computer vision and photogrammetry. Unlike previous methods using a tripod, we have developed which can h...
SooHyun Cho, YunKoo Chung, Jaeyeon Lee
CNIS
2006
13 years 9 months ago
Towards effective packet classification
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
Yaxuan Qi, Jun Li