10568 search results - page 1969 / 2114 » Computer Intelligence and Formalization |
142
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
133
click to vote
CIVR
2009
Springer
15 years 10 months ago
2009
Springer
Contextual information is vital for the robust extraction of semantic information in automated surveillance systems. We have developed a scene independent framework for the detect...
126
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
To explore the Perturb and Combine idea for estimating probability densities, we study mixtures of tree structured Markov networks derived by bagging combined with the Chow and Liu...
111
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
: A persuasion dialog is a dialog in which agents exchange arguments on a subject. In this kind of dialog, the agents disagree about the status of the subject and each one tries to...
131
click to vote
EUROGP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Population size is a critical parameter that affects the performance of an Evolutionary Computation model. A variable population size scheme is considered potentially be...