Sciweavers

915 search results - page 11 / 183
» Proof labeling schemes
Sort
View
192
Voted
TMM
2010
270views Management» more  TMM 2010»
15 years 8 days 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...
159
Voted
DKE
2011
213views Education» more  DKE 2011»
14 years 12 months ago
Indexing and querying XML using extended Dewey labeling scheme
Jiaheng Lu, Xiaofeng Meng, Tok Wang Ling
DM
1999
63views more  DM 1999»
15 years 5 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
127
Voted
ITP
2010
118views Mathematics» more  ITP 2010»
15 years 9 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»
15 years 10 months 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