2687 search results - page 496 / 538 » Formal Analysis of PKCS |
122
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
98
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. There is a significant ...
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
142
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
105
click to vote
DOCENG
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose a novel approach to markup, called Extreme Annotational RDF Markup (EARMARK), using RDF and OWL to annotate features in text content that cannot be mapped...