3116 search results - page 200 / 624 » Positively dependent types |
128
click to vote
LREC
2010
15 years 6 months ago
2010
In this paper, we base on the syntactic structural Chinese Treebank corpus, construct the Chinese Opinon Treebank for the research of opinion analysis. We introduce the tagging sc...
124
Voted
AAAI
1997
15 years 6 months ago
1997
In this paper we review the historical developmentof computerchess and discuss its impactonthe conceptof intelligence. Withthe adventof electronic computersafter the Second WorldW...
140
Voted
ENTCS
2008
15 years 5 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
140
click to vote
APAL
2006
15 years 5 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
149
Voted
IJMMS
2006
15 years 4 months ago
2006
There remains a limited understanding of factors in presence and its relation to performance. This research examined a range of synthetic environment (SE) design features (viewpoi...