2894 search results - page 237 / 579 » Latent semantic analysis |
172
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
142
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
The paper argues that the communicative system of touch includes a lexicon, an alphabet and some norms of use, and presents a research aimed at making them explicit. 104 items of t...
221
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
168
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
152
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...