15 search results - page 1 / 3 » Separation and Witnesses |
CODCRY
2009
Springer
13 years 11 months ago
2009
Springer
We revisit two notions of difference between codewords, namely separation and the existence of small witnesses, and explore their links.
POPL
2012
ACM
12 years 12 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
DLT
2008
13 years 6 months ago
2008
We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change di...
EUROCRYPT
2005
Springer
13 years 10 months ago
2005
Springer
In undeniable signature schemes, zero-knowledgeness and non-transferability have been identified so far. In this paper, by separating these two notions, we show the first 3-move ...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Gesture recognition is mainly apprehensive on analyzing the functionality of human wits. The main goal of gesture recognition is to create a system which can recognize specific hu...