960 search results - page 94 / 192 » Computational Semantics Of Mass Terms |
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper an approach based on Wikipedia link structure for sense disambiguation is presented and evaluated. Wikipedia is used as a reference to obtain lexicographic relations...
MATA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
BIRTHDAY
1991
Springer
13 years 11 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...