42 search results - page 1 / 9 » A General Framework for Probabilistic Characterizing Formula... |
VMCAI
2012
Springer
12 years 3 days ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
AAAI
2010
13 years 6 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
CVPR
2004
IEEE
14 years 6 months ago
2004
IEEE
We present a general framework for characterizing the object identity in a single image or a group of images with each image containing a transformed version of the object, with a...
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
CIVR
2008
Springer
13 years 6 months ago
2008
Springer
Recent content-based video retrieval systems combine output of concept detectors (also known as high-level features) with text obtained through automatic speech recognition. This ...