3040 search results - page 230 / 608 » Independent Natural Extension |
165
click to vote
JSCIC
2007
15 years 6 months ago
2007
This paper begins with an overview of the boundary condition capturing approach to solving problems with interfaces. Although, the authors’ original motivation was to extend the...
149
Voted
APAL
2004
15 years 6 months ago
2004
We study the extension (introduced as BT in [5]) of the theory S1 2 by instances of the dual (onto) weak pigeonhole principle for p-time functions, dWPHP(PV )x x2 . We propose a n...
184
click to vote
EATCS
2000
15 years 6 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
173
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
162
click to vote
MP
1998
15 years 6 months ago
1998
We define the base polytope B(P, g) of a partially ordered set P and a supermodular function g on the ideals ofP as the convex hull of the incidence vectors of all linear extensio...