3047 search results - page 362 / 610 » On the Meaning of Logical Completeness |
230
click to vote
COMPGEOM
1987
ACM
15 years 10 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...
200
click to vote
MASCOTS
2010
15 years 8 months 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...
147
click to vote
HCI
2007
15 years 8 months 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 ...
180
click to vote
LREC
2008
15 years 8 months 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...
176
click to vote
FLAIRS
2004
15 years 8 months 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...