2681 search results - page 159 / 537 » Problem F |
106
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
86
Voted
ACL
2008
15 years 3 months ago
2008
Researchers typically evaluate word prediction using keystroke savings, however, this measure is not straightforward. We present several complications in computing keystroke savin...
128
click to vote
COLING
2008
15 years 3 months ago
2008
We describe and evaluate a new method of automatic seed word selection for unsupervised sentiment classification of product reviews in Chinese. The whole method is unsupervised an...
90
Voted
AAAI
2006
15 years 3 months ago
2006
Extracting a map from a stream of experience is a key problem in robotics and artificial intelligence in general. We propose a technique, called subjective mapping, that seeks to ...
88
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...