3690 search results - page 523 / 738 » Computation with classical sequents |
175
click to vote
IICAI
2007
15 years 7 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
143
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: While high-dimensional molecular data such as microarray gene expression data have been used for disease outcome prediction or diagnosis purposes for about ten years i...
130
click to vote
EJC
2010
15 years 5 months ago
2010
We start by describing all the varieties of loops Q that can be defined by autotopisms x, x Q, where x is a composition of two triples, each of which becomes an autotopism when th...
177
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: In class prediction problems using microarray data, gene selection is essential to improve the prediction accuracy and to identify potential marker genes for a disease...
141
click to vote
DPD
2007
15 years 5 months ago
2007
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...