279 search results - page 15 / 56 » Constructive Interval Disjunction |
96
Voted
WSC
2007
15 years 4 months ago
2007
We develop and evaluate a two-level simulation procedure that produces a confidence interval for tail conditional expectation, otherwise known as conditional tail expectation. Th...
106
click to vote
ESWA
2006
15 years 1 months ago
2006
Multidimensional scaling (MDS) is a statistical tool for constructing a low-dimension configuration to represent the relationships among objects. In order to extend the convention...
126
click to vote
CPC
2007
15 years 1 months ago
2007
Let P(G,t) and F(G,t) denote the chromatic and flow polynomials of a graph G. G.D. Birkhoff and D.C. Lewis showed that, if G is a plane near triangulation, then the only zeros of...
129
click to vote
LOGCOM
2010
14 years 8 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
114
Voted
TCS
2010
15 years 7 days ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...