3384 search results - page 195 / 677 » More Testable Properties |
CTRSA
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Known compact e-cash schemes are constructed from signature schemes with efficient protocols and verifiable random functions. In this paper, we introduce a different ap...
DIAGRAMS
2008
Springer
13 years 12 months ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...
APVIS
2010
13 years 11 months ago
2010
We present a novel classification technique for volume visualization that takes the shape of volumetric features into account. The presented technique enables the user to distingu...
DPHOTO
2010
13 years 11 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
DLT
2007
13 years 11 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...