2742 search results - page 343 / 549 » Deriving Category Theory from Type Theory |
MM
2004
ACM
14 years 2 months ago
2004
ACM
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...
CSB
2002
IEEE
14 years 2 months ago
2002
IEEE
Assigning functions to novel proteins is one of the most important problems in the post-genomic era. Several approaches have been applied to this problem, including analyzing gene...
APN
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
BCSHCI
2007
13 years 10 months ago
2007
We describe a framework for characterizing people’s behavior with Digital Live Art. Our framework considers people’s wittingness, technical skill, and interpretive abilities i...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we present a novel entity coreference algorithm for Semantic Web instances. The key issues include how to locate context information and how to utilize the context ...