1342 search results - page 119 / 269 » Measuring concept relatedness using language models |
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
117
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
133
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
132
click to vote
APN
2001
Springer
15 years 9 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
152
click to vote
IEE
2008
15 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...