6574 search results - page 129 / 1315 » Current Signatures: Application |
141
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
158
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
143
click to vote
CARDIS
2004
Springer
15 years 10 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
186
Voted
CIA
2003
Springer
15 years 10 months ago
2003
Springer
The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. Research on the topic of trust in this domain has focused largely on digital signatures, ce...
128
Voted
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We study statistical tests with binary output that rarely outputs one, which we call nearly one-sided statistical tests. We provide an efficient reduction establishing im...