4211 search results - page 365 / 843 » A formal approach to MASQ |
153
Voted
ACL
1997
15 years 8 months ago
1997
We describe a formal framework for interpretation of words and compounds in a discourse context which integrates a symbolic lexicon/grammar, word-sense probabilities, and a pragma...
139
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
172
Voted
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
167
Voted
TCS
2008
15 years 6 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
260
Voted
DCEIS
2006
15 years 8 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...