Sciweavers

2869 search results - page 175 / 574
» The Inference Problem: A Survey
Sort
View
CVBIA
2005
Springer
15 years 6 months ago
A Hybrid Framework for Image Segmentation Using Probabilistic Integration of Heterogeneous Constraints
In this paper we present a new framework for image segmentation using probabilistic multinets. We apply this framework to integration of regionbased and contour-based segmentation ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
115
Voted
ESOP
2009
Springer
15 years 4 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
107
Voted
ICDT
2007
ACM
105views Database» more  ICDT 2007»
15 years 4 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
97
Voted
COLT
2004
Springer
15 years 4 months ago
Suboptimal Behavior of Bayes and MDL in Classification Under Misspecification
We show that forms of Bayesian and MDL inference that are often applied to classification problems can be inconsistent. This means that there exists a learning problem such that fo...
Peter Grünwald, John Langford
90
Voted
UAI
2000
15 years 2 months ago
Game Networks
We introduce Game networks (G nets), a novel representation for multi-agent decision problems. Compared to other game-theoretic representations, such as strategic or extensive for...
Pierfrancesco La Mura