Search Sciweavers | Sciweavers

1876 search results - page 35 / 376

» Language Networks on LiveJournal

click to vote

EMNLP
2009

116views Natural Language Processing» more EMNLP 2009»

Quantifier Scope Disambiguation Using Extracted Pragmatic Knowledge: Preliminary Results

13 years 8 months ago

Download www.aclweb.org

It is well known that pragmatic knowledge is useful and necessary in many difficult language processing tasks, but because this knowledge is difficult to acquire and process autom...

Prakash Srinivasan, Alexander Yates

claim paper

Read More »

click to vote

POPL
2001
ACM

107views Programming Languages» more POPL 2001»

What packets may come: automata for network monitoring

14 years 11 months ago

Download seclab.uiuc.edu

Karthikeyan Bhargavan, Satish Chandra, Peter J. Mc...

claim paper

Read More »

click to vote

IFIP
2009
Springer

121views Programming Languages» more IFIP 2009»

Game-Based Verification of Multi-Party Contract Signing Protocols

13 years 8 months ago

Download satoss.uni.lu

A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw

claim paper

Read More »

click to vote

POPL
2006
ACM

124views Programming Languages» more POPL 2006»

N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

14 years 11 months ago