2409 search results - page 126 / 482 » On Extended Regular Expressions |
145
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
This paper demonstrates the applicability of the recently proposed supervised dimension reduction, hierarchical linear discriminant analysis (h-LDA) to a well-known spatial locali...
138
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
150
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C. Nov. 2002, p...
132
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The advent of RNA interference techniques enables the selective silencing of biologically interesting genes in an efficient way. In combination with DNA microarray tec...
158
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...