Sciweavers

32 search results - page 7 / 7
» On changing cofinality of partially ordered sets
Sort
View
MSCS
2007
125views more  MSCS 2007»
13 years 3 months ago
On categorical models of classical logic and the Geometry of Interaction
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
Carsten Führmann, David J. Pym
TIP
2008
153views more  TIP 2008»
13 years 3 months ago
Generalized Flooding and Multicue PDE-Based Image Segmentation
Image segmentation remains an important, but hard-to-solve, problem since it appears to be application dependent with usually no a priori information available regarding the image ...
Anastasia Sofou, Petros Maragos