3690 search results - page 115 / 738 » Computation with classical sequents |
GBRPR
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we explore how a spectral technique suggested by quantum walks can be used to distinguish non-isomorphic cospectral graphs. Reviewing ideas from the field of quantum...
MIR
2004
ACM
15 years 3 months ago
2004
ACM
The interpretation of natural scenes, generally so obvious and effortless for humans, still remains a challenge in computer vision. To allow the search of image-based documents i...
AIMSA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
EKAW
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
IJCAI
2007
14 years 11 months ago
2007
We propose a supervised maximum entropy ranking approach to pronoun resolution as an alternative to commonly used classification-based approaches. Classification approaches cons...