1364 search results - page 115 / 273 » Comparative Branching-Time Semantics |
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper examines the problem of building scalable, fault-tolerant distributed systems from collections of communicating process groups, while maintaining well-defined end-to-en...
112
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
130
click to vote
CORIA
2008
15 years 4 months ago
2008
The comparison of manually annotated medical images can be done using the comparison of keywords in a lexical way or using the existing medical thesauri to calculate semantic simil...
130
Voted
EMNLP
2008
15 years 4 months ago
2008
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
136
Voted
DATESO
2004
15 years 4 months ago
2004
Abstract. In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher dimensions index structures suffer the "curse o...