3238 search results - page 123 / 648 » On the Computational Interpretation of Negation |
186
click to vote
ICWSM
2010
15 years 5 months ago
2010
We investigate the impact of a discussion snippet’s overall sentiment on a user’s willingness to read more of a discussion. Using sentiment analysis, we constructed positive, ...
158
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
157
click to vote
CEC
2005
IEEE
16 years 1 days ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...
195
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Action set selection in Markov Decision Processes (MDPs) is an area of research that has received little attention. On the other hand, the set of actions available to an MDP agent...
292
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...