673 search results - page 80 / 135 » Deep Lexical Semantics |
120
click to vote
LREC
2008
15 years 3 months ago
2008
In this paper we present contrastive colour studies done using COMPARA, the largest edited parallel corpus in the world (as far as we know). The studies were the result of semanti...
188
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
There are more spots than immediately obvious in XQuery expressions where order is immaterial for evaluation-this affects most notably, but not exclusively, expressions in the sco...
110
click to vote
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
117
Voted
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Instant Messaging is in addition to Web and Email the most popular service on the Internet. With xOperator we demonstrate the implementation of a strategy which deeply integrates I...
118
Voted
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...