Sciweavers

2611 search results - page 429 / 523
» A Logic for Concepts and Similarity
Sort
View
VTC
2007
IEEE
113views Communications» more  VTC 2007»
16 years 17 days ago
A Data Dissemination Strategy for Cooperative Vehicular Systems
— Cooperative systems in transportation can bring new intelligence for vehicles, roadside systems, operators and individuals by creating a communications platform allowing vehicl...
Olivia Brickley, Chong Shen, Martin Klepal, Amir T...
ACCV
2007
Springer
16 years 15 days ago
Kernel Discriminant Analysis Based on Canonical Differences for Face Recognition in Image Sets
A novel kernel discriminant transformation (KDT) algorithm based on the concept of canonical differences is presented for automatic face recognition applications. For each individu...
Wen-Sheng Vincent Chu, Ju-Chin Chen, Jenn-Jier Jam...
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
16 years 15 days ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
16 years 14 days ago
Simulatable VRFs with Applications to Multi-theorem NIZK
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
Melissa Chase, Anna Lysyanskaya
ICADL
2007
Springer
132views Education» more  ICADL 2007»
16 years 14 days ago
On Building a Full-Text Digital Library of Historical Documents
The National Taiwan University Library has built a digital library of historical documents about Taiwan. The content is unique in that it covers about 80% of all primary Chinese hi...
Szu-Pei Chen, Jieh Hsiang, Hsieh-Chang Tu, Micha W...