Sciweavers

5158 search results - page 291 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
Exact determinations of the maximal output admissible set for a class of nonlinear systems
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
Kenji Hirata, Yoshito Ohta
DCG
2010
84views more  DCG 2010»
15 years 6 months ago
Matroid Polytopes and their Volumes
We express the matroid polytope PM of a matroid M as a signed Minkowski sum of simplices, and obtain a formula for the volume of PM . This gives a combinatorial expression for the...
Federico Ardila, Carolina Benedetti, Jeffrey Doker
ENTCS
2008
128views more  ENTCS 2008»
15 years 6 months ago
Algebraic Stuttering Simulations
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
Narciso Martí-Oliet, José Meseguer, ...
CAGD
2007
91views more  CAGD 2007»
15 years 6 months ago
Note on curve and surface energies
Energies of curves and surfaces together with their discrete variants play a prominent role as fairness functionals in geometric modeling and computer aided geometric design. This ...
Johannes Wallner
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 6 months ago
Hadwiger and Helly-type theorems for disjoint unit spheres
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Syl...