Sciweavers

5619 search results - page 290 / 1124
» A Region Inference Algorithm
Sort
View
ICML
2008
IEEE
16 years 7 months ago
Modeling interleaved hidden processes
Hidden Markov models assume that observations in time series data stem from some hidden process that can be compactly represented as a Markov chain. We generalize this model by as...
Niels Landwehr
ESOP
2009
Springer
15 years 10 months ago
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
Daisuke Kikuchi, Naoki Kobayashi
ICDT
2007
ACM
105views Database» more  ICDT 2007»
15 years 10 months ago
Unlocking Keys for XML Trees
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
Sven Hartmann, Sebastian Link
FUZZIEEE
2007
IEEE
15 years 8 months ago
Transformation of a Mamdani FIS to First Order Sugeno FIS
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...
Javad Jassbi, S. H. Alavi, Paulo J. A. Serra, Rita...
NIPS
2000
15 years 8 months ago
On Reversing Jensen's Inequality
Jensen's inequality is a powerful mathematical tool and one of the workhorses in statistical learning. Its applications therein include the EM algorithm, Bayesian estimation ...
Tony Jebara, Alex Pentland