2687 search results - page 474 / 538 » Formal Analysis of PKCS |
172
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
128
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents an algorithm for aligning FrameNet lexical units to WordNet synsets. Both, FrameNet and WordNet, are well-known as well as widely-used resources by the entire ...
171
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
144
click to vote
LREC
2008
15 years 7 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
148
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents the design and construction of a Chinese opinion corpus. Based on the observation on the characteristics of opinion expression in Chinese online product review...