2409 search results - page 155 / 482 » On Extended Regular Expressions |
150
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
164
click to vote
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...
124
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
128
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
151
click to vote
ESANN
2008
15 years 6 months ago
2008
Our goal is proposing an unbiased framework for gene expression analysis based on variable selection combined with a significance assessment step. We start by discussing the need ...