1162 search results - page 122 / 233 » Monotonic Semantic Interpretation |
CCS
2009
ACM
15 years 11 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
112
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
ICFP
1998
ACM
15 years 3 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
LREC
2010
15 years 18 days ago
2010
We propose a methodology for a novel type of discourse annotation whose model is tuned to the analysis of a text as narrative. This is intended to be the basis of a "story ba...
LREC
2010
15 years 18 days ago
2010
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...