Sciweavers

433 search results - page 31 / 87
» Administrative and Public Verifiability: Can We Have Both
Sort
View
ICPR
2008
IEEE
14 years 8 months ago
How to make iris recognition easier?
Iris recognition is regarded as the most reliable biometrics and has been widely applied in both public and personal security areas. However users have to highly cooperate with th...
Tieniu Tan, Wenbo Dong, Zhenan Sun
JCP
2006
117views more  JCP 2006»
13 years 7 months ago
Empirical Analysis of Attribute-Aware Recommender System Algorithms Using Synthetic Data
As the amount of online shoppers grows rapidly, the need of recommender systems for e-commerce sites are demanding, especially when the number of users and products being offered o...
Karen H. L. Tso, Lars Schmidt-Thieme
EENERGY
2010
13 years 8 months ago
Profiling energy use in households and office spaces
Energy consumption is largely studied in the context of different environments, such as domestic, corporate, industrial, and public sectors. In this paper, we discuss two environm...
Salman Taherian, Marcelo Pias, George Coulouris, J...
PCM
2004
Springer
106views Multimedia» more  PCM 2004»
14 years 27 days ago
Adaptive FEC Control for Reliable High-Speed UDP-Based Media Transport
In this paper, we propose a reliable high-speed UDP-based media transport with an adaptive FEC (forward error correction) error control. The proposed adaptive transport scheme cont...
Young-Woo Kwon, Hyeyoung Chang, Jongwon Kim
JAR
2008
77views more  JAR 2008»
13 years 7 months ago
Translating Higher-Order Clauses to First-Order Clauses
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
Jia Meng, Lawrence C. Paulson