11017 search results - page 36 / 2204 » Closure Systems and their Structure |
TSMC
2008
13 years 7 months ago
2008
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...
SIAMCOMP
2008
13 years 6 months ago
2008
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...
SIAMJO
2010
13 years 6 months ago
2010
Inspired by a question of Lov´asz, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal, called theta...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
SIAMCO
2000
13 years 7 months ago
2000
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...