We propose a general framework for structure identification, as defined by Dechter and Pearl. It is based on the notion of prime implicate, and handles Horn, bijunctive and affine, as well as Horn-renamable formulas, for which, to our knowledge, no polynomial algorithm has been proposed before. This
A unified framework for quantum Zeno processes
β Scribed by D. Home; M.A.B. Whitaker
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 364 KB
- Volume
- 173
- Category
- Article
- ISSN
- 0375-9601
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this paper we propose a new optimization framework that unites some of the existing tensor based methods for face recognition on a common mathematical basis. Tensor based approaches rely on the ability to decompose an image into its constituent factors (i.e. person, lighting, viewpoint, etc.) and
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolution for propositional satisfiability, adaptive-consistency for constraint satisfaction, Fourier and Gaussian elimination
This paper treats quantum measurement within von Neumann's abstract framework. Specifically, observation is defined as a fixed self-adjoint operator with countable spectrum and nondegenerate eigenstates. Suppose scenarios for the observation of a quantum process over time are expanded by adding extr
We propose a unified notation for representing any CNN topology. The framework presented here is an attempt to provide a common base for the future development of more general CNN structures, such as multilayer and/or high-order CNNs, which have already been of great interest in many disciplines inc