6020 search results - page 51 / 1204 » A New Approach to Model Counting |
107
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
110
click to vote
MICAI
2007
Springer
15 years 8 months ago
2007
Springer
In this article we present a hybrid approach for automatic summarization of Spanish medical texts. There are a lot of systems for automatic summarization using statistics or lingui...
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
101
click to vote
IJCSA
2007
15 years 1 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
100
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...