315 search results - page 37 / 63 » Using Logic in the Generation of Referring Expressions |
105
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
125
click to vote
IJCAI
2001
15 years 3 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
116
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
63
Voted
ASPDAC
1998
ACM
15 years 6 months ago
1998
ACM
—An AND-OR-EXOR network, where the output EXOR gate has only two inputs, is one of the simplest three-level architecture. This network realizes an EXOR of two sum-of-products exp...
104
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The choice of probe set algorithms for expression summary in a GeneChip study has a great impact on subsequent gene expression data analysis. Spiked-in cRNAs with know...