69 search results - page 5 / 14 » On categorical models of classical logic and the Geometry of... |
CSL
2008
Springer
13 years 7 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
ATAL
2007
Springer
14 years 4 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
KR
1994
Springer
13 years 10 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
ICIP
2005
IEEE
14 years 7 months ago
2005
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video of a static scene. As in classical model-based video codi...
ICASSP
2008
IEEE
14 years 12 days ago
2008
IEEE
The problem of document classification considers categorizing or grouping of various document types. Each document can be represented as a bag of words, which has no straightforw...