6740 search results - page 474 / 1348 » Using Classification as a Programming Language |
121
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
137
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
123
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Appropriate feature selection is a very crucial issue in any machine learning framework, specially in Maximum Entropy (ME). In this paper, the selection of appropriate features for...
151
click to vote
ICONFERENCE
2011
14 years 11 months ago
2011
Human values can help to explain people’s sentiment toward current events. In this experiment, we compare people’s values with their agreement or disagreement with paragraphs ...
241
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...