31 search results - page 2 / 7 » Bifinite Chu Spaces |
ACS
2007
13 years 5 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
MFCS
1993
Springer
13 years 9 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
CPC
2007
13 years 5 months ago
2007
TCS
2002
13 years 4 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
MVA
2007
13 years 4 months ago
2007
Inversion of the perspective mapping in acquired images enables an autonomous vehicle to perform vision-based navigation tasks, such as obstacle detection. We present work on affi...