1162 search results - page 142 / 233 » Monotonic Semantic Interpretation |
98
Voted
COLING
2002
15 years 13 days ago
2002
It is commonly believed that word segmentation accuracy is monotonically related to retrieval performance in Chinese information retrieval. In this paper we show that, for Chinese...
118
Voted
DLOG
2009
14 years 10 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
94
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
142
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
96
Voted
ICFP
2002
ACM
16 years 17 days ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...