89222 search results - page 41 / 17845 » Which |
ENTCS
2008
15 years 10 days ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
98
Voted
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
We present a modification of “Normalized Cuts” to incorporate priors which can be used for constrained image segmentation. Compared to previous generalizations of “Normaliz...
115
Voted
EJC
2011
14 years 7 months ago
2011
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
118
Voted
JMLR
2010
14 years 7 months ago
2010
Recent evaluations have indicated that in practice, general methods for prediction which do not account for changes in the conditional distribution of a target variable given feat...
96
Voted
ALT
2008
Springer
15 years 9 months ago
2008
Springer
This paper extends previous studies on learnability in non-acceptable numberings by considering the question: for which criteria which numberings are optimal, that is, for which nu...