Sciweavers

Share
70 search results - page 1 / 14
» On categorical models of classical logic and the Geometry of...
Sort
View
MSCS
2007
125views more  MSCS 2007»
8 years 11 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
ICALP
2004
Springer
9 years 5 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott
LICS
2003
IEEE
9 years 5 months ago
About Translations of Classical Logic into Polarized Linear Logic
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
Olivier Laurent, Laurent Regnier
IJCNN
2007
IEEE
9 years 6 months ago
Preference Learning for Category-Ranking based Interactive Text Categorization
— Category Ranking is a variant of the multi-label classification problem, in which, rather than performing a (hard) assignment to an object of categories from a predefined set...
Fabio Aiolli, Fabrizio Sebastiani, Alessandro Sper...
CVPR
2011
IEEE
8 years 8 months ago
Using Global Bag of Features Models in Random Fields for Joint Categorization and Segmentation of Objects
We propose to bridge the gap between Random Field (RF) formulations for joint categorization and segmentation (JCaS), which model local interactions among pixels and superpixels, ...
Dheeraj Singaraju, René, Vidal
books