Sciweavers

2631 search results - page 404 / 527
» A Practical Method for the Sparse Resultant
Sort
View
AVSS
2005
IEEE
14 years 2 months ago
Performance evaluation of event detection solutions: the CREDS experience
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...
Francesco Ziliani, Sergio A. Velastin, Fatih Porik...
WWW
2005
ACM
14 years 2 months ago
Representing personal web information using a topic-oriented interface
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
Zhigang Hua, Hao Liu, Xing Xie, Hanqing Lu, Wei-Yi...
ASIACRYPT
2005
Springer
14 years 2 months ago
Identity-Based Hierarchical Strongly Key-Insulated Encryption and Its Application
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
Yumiko Hanaoka, Goichiro Hanaoka, Junji Shikata, H...
CICLING
2005
Springer
14 years 2 months ago
Direct Combination of Spelling and Pronunciation Information for Robust Back-Transliteration
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
Slaven Bilac, Hozumi Tanaka
CP
2005
Springer
14 years 2 months ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus