3047 search results - page 362 / 610 » On the Meaning of Logical Completeness |
118
click to vote
COMPGEOM
1987
ACM
15 years 2 months ago
1987
ACM
In [12] Stolfi developed a complete theory of Oriented Projective Geometry. He showed that assigning meaning to the sign of an otherwise homogenous representation of geometry could...
MASCOTS
2010
15 years 12 days ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
HCI
2007
15 years 12 days ago
2007
The purpose of this paper is to build a digital archive database for Taiwanese people to learn Taiwanese culture through the internet and elearning environment. This study will be ...
82
Voted
LREC
2008
15 years 12 days ago
2008
In this paper we analyse data from the SemEval lexical substitution task in those cases where the annotators indicated that the target word was part of a phrase before substitutin...
FLAIRS
2004
15 years 11 days ago
2004
The focus of this paper is the exploration of ontologies as a means for knowledge sharing in music information retrieval scenarios. Our approach is intended to support the complet...