13603 search results - page 376 / 2721 » On the Computational Complexity of Cut-Reduction |
192
click to vote
EVOW
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The swarm metaphor stands for dynamic, complex interaction networks with the possibility of emergent phenomena. In this work, we present two games that challenge the vide...
168
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
192
click to vote
PKDD
2004
Springer
16 years 28 days ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...
223
Voted
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
This article introduces the absolute quadratic complex formed by all lines that intersect the absolute conic. If denotes the 3 ? 3 symmetric matrix representing the image of that ...
188
click to vote
CHI
2002
ACM
16 years 8 months ago
2002
ACM
Informal, sketch-based design tools closely match the work practices of user interface designers. Current tools, however, are limited in the size and complexity of interaction tha...