Sciweavers

5158 search results - page 200 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ATAL
2006
Springer
15 years 10 months ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi
COLT
2008
Springer
15 years 8 months ago
Learning from Collective Behavior
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
Michael Kearns, Jennifer Wortman
IE
2007
15 years 8 months ago
The nonsense of the aura
An examination of Walter Benjamin’s notion of the aura as it appears in videogames, and the relation between the nondirectional sense of smell, non-directional visual fields, an...
Darshana Jayemanne
ALT
2010
Springer
15 years 8 months ago
Bayesian Active Learning Using Arbitrary Binary Valued Queries
We explore a general Bayesian active learning setting, in which the learner can ask arbitrary yes/no questions. We derive upper and lower bounds on the expected number of queries r...
Liu Yang, Steve Hanneke, Jaime G. Carbonell
EUSFLAT
2007
126views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Uncertainty as a Modality over t-norm Based Logics
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
Enrico Marchioni