1364 search results - page 184 / 273 » Comparative Branching-Time Semantics |
125
click to vote
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
118
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This work extends a semi-automatic grammar induction approach previously proposed in [1]. We investigate the use of Information Gain (IG) in place of Mutual Information (MI) for g...
148
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
136
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
114
click to vote
COLING
2008
15 years 5 months ago
2008
Semantic relatedness between words is important to many NLP tasks, and numerous measures exist which use a variety of resources. Thus far, such work is confined to measuring simil...