Sciweavers

4949 search results - page 46 / 990
» Consistency and Set Intersection
Sort
View
113
Voted
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 3 months ago
On sign conditions over real multivariate polynomials
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
145
Voted
DCG
2008
90views more  DCG 2008»
15 years 3 months ago
Enumeration in Convex Geometries and Associated Polytopal Subdivisions of Spheres
We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that t...
Louis J. Billera, Samuel K. Hsiao, J. Scott Provan
100
Voted
DEDS
2002
85views more  DEDS 2002»
15 years 3 months ago
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
Tae-Sic Yoo, Stéphane Lafortune
118
Voted
RE
2007
Springer
15 years 9 months ago
Consistency Checking of Conceptual Models via Model Merging
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos...
122
Voted
FSS
2008
113views more  FSS 2008»
15 years 3 months ago
Consistency measure, inclusion degree and fuzzy measure in decision tables
Classical consistency degree has some limitations for measuring the consistency of a decision table, in which the lower approximation of a target decision is only taken into consi...
Yuhua Qian, Jiye Liang, Chuangyin Dang