6020 search results - page 308 / 1204 » A New Approach to Model Counting |
161
Voted
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
206
click to vote
ICMLA
2007
15 years 8 months ago
2007
We apply a new active learning formulation to the problem of learning medical concepts from unstructured text. The new formulation is based on maximizing the mutual information th...
197
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...
148
click to vote
ICCSA
2010
Springer
15 years 12 months ago
2010
Springer
In the spatial-integrated socioeconomic model field, a multi-agent approach is appropriate for supporting applications modelled at a detailed territory scale, but it is less used t...
147
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...