3238 search results - page 142 / 648 » On the Computational Interpretation of Negation |
179
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
157
click to vote
ANLP
1992
15 years 7 months ago
1992
When implementing computational lexicons it is important to keep in mind the texts that a NLP system must deal with. Words relate to each other in many different, often queer, way...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In studies that use DNA arrays to assess changes in gene expression, our goal is to evaluate the statistical significance of treatments on sets of genes. Genes can be ...
144
click to vote
ICGA
2006
15 years 6 months ago
2006
Who is the best chess player of all time? Chess players are often interested in this question that has never been answered authoritatively, because it requires comparison between c...
196
click to vote
ASC
2004
15 years 6 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...