6020 search results - page 437 / 1204 » A New Approach to Model Counting |
132
click to vote
IJCAI
2001
15 years 8 months ago
2001
Abstract. In this paper we present a new approach for personalized presentation of web-page content. The model is defined as a preference-based configuration process that is based ...
188
click to vote
NIPS
2003
15 years 8 months ago
2003
We consider the question of how well a given distribution can be approximated with probabilistic graphical models. We introduce a new parameter, effective treewidth, that captures...
200
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we introduce a new method to detect salient objects in images. The approach is based on the standard structure of cognitive visual attention models, but realizes th...
141
click to vote
COLING
2008
15 years 8 months ago
2008
In Semantic Role Labeling (SRL), arguments are usually limited in a syntax subtree. It is reasonable to label arguments locally in such a sub-tree rather than a whole tree. To ide...
184
click to vote
FOSSACS
2005
Springer
16 years 13 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...