Sciweavers

915 search results - page 11 / 183
» Proof labeling schemes
Sort
View
TMM
2010
270views Management» more  TMM 2010»
13 years 2 months ago
Sequence Multi-Labeling: A Unified Video Annotation Scheme With Spatial and Temporal Context
Abstract--Automatic video annotation is a challenging yet important problem for content-based video indexing and retrieval. In most existing works, annotation is formulated as a mu...
Yuanning Li, YongHong Tian, Ling-Yu Duan, Jingjing...
DKE
2011
213views Education» more  DKE 2011»
13 years 2 months ago
Indexing and querying XML using extended Dewey labeling scheme
Jiaheng Lu, Xiaofeng Meng, Tok Wang Ling
DM
1999
63views more  DM 1999»
13 years 7 months ago
A class of functions and their application in constructing semi-biplanes and association schemes
We give an alternative proof of the fact that a planar function cannot exist on groups of even order. The argument involved leads us to define a class of functions which we
Robert S. Coulter, Marie Henderson
ITP
2010
118views Mathematics» more  ITP 2010»
13 years 11 months ago
Formal Proof of a Wave Equation Resolution Scheme: The Method Error
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
Sylvie Boldo, François Clément, Jean...
CTRSA
2001
Springer
129views Cryptology» more  CTRSA 2001»
14 years 10 days ago
Formal Security Proofs for a Signature Scheme with Partial Message Recovery
The Pintsov-Vanstone signature scheme with partial message recovery (PVSSR) is a variant of the Schnorr and Nyberg-Rueppel signature schemes. It produces very short signatures on ...
Daniel R. L. Brown, Donald Byron Johnson