2912 search results - page 278 / 583 » Logistic Model Trees |
161
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
150
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
160
click to vote
EMNLP
2007
15 years 8 months ago
2007
In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...
187
click to vote
DBSEC
2001
15 years 8 months ago
2001
In this paper, our objective is to define a security model for regulating access to XML documents. Our model offers a security policy with a great expressive power. An XML documen...
173
click to vote
ACL
1993
15 years 8 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...