Sciweavers

16616 search results - page 255 / 3324
» Extending Extended Vacuity
Sort
View
FMSD
2007
75views more  FMSD 2007»
15 years 6 months ago
Checking extended CTL properties using guarded quotient structures
A. Prasad Sistla, Xiaodong Wang, Min Zhou
MP
2006
110views more  MP 2006»
15 years 6 months ago
Extending Scope of Robust Optimization: Comprehensive Robust Counterparts of Uncertain Problems
In this paper, we propose a new methodology for handling optimization problems with uncertain data. With the usual Robust Optimization paradigm, one looks for the decisions ensurin...
Aharon Ben-Tal, Stephen Boyd, Arkadi Nemirovski
GC
2007
Springer
15 years 6 months ago
Subdivision Extendibility
Let H be a multigraph and G a graph containing a subgraph isomorphic to a subdivision of H, with S ⊂ V (G) (the ground set) the image of V (H) under the isomorphism. We consider...
Ronald J. Gould, Thor Whalen