Sciweavers

915 search results - page 11 / 183
» Proof labeling schemes
Sort
View
TMM
2010
270views Management» more  TMM 2010»
14 years 11 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...
136
Voted
DKE
2011
213views Education» more  DKE 2011»
14 years 11 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 4 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»
15 years 8 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 9 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