Sciweavers

1802 search results - page 43 / 361
» Model-based Theory Combination
Sort
View
COMMA
2006
13 years 10 months ago
Combining sceptical epistemic reasoning with credulous practical reasoning
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
Henry Prakken
MSCS
2000
126views more  MSCS 2000»
13 years 8 months ago
Sequent combinators: a Hilbert system for the lambda calculus
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
Healfdene Goguen, Jean Goubault-Larrecq
ICASSP
2011
IEEE
13 years 24 days ago
Multistream speaker diarization through Information Bottleneck system outputs combination
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...
Deepu Vijayasenan, Fabio Valente, Petr Motlí...
IPMU
2010
Springer
13 years 11 months ago
Evidential Combination of Multiple HMM Classifiers for Multi-script Handwritting Recognition
In this work, we focus on an improvement of a multi-script handwritting recognition system using a HMM based classifiers combination. The improvement relies on the use of Dempster-...
Yousri Kessentini, Thomas Burger, Thierry Paquet
UAI
2008
13 years 10 months ago
Knowledge Combination in Graphical Multiagent Models
A graphical multiagent model (GMM) represents a joint distribution over the behavior of a set of agents. One source of knowledge aboutagents'behaviormaycomefromgametheoretic ...
Quang Duong, Michael P. Wellman, Satinder P. Singh