8874 search results - page 277 / 1775 » A New Implementation of Automath |
187
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
147
click to vote
AAAI
2004
15 years 8 months ago
2004
Recently, several lower bound functions are proposed for solving the MAX-2-SAT problem optimally in a branch-and-bound algorithm. These lower bounds improve significantly the perf...
176
click to vote
ICONIP
1998
15 years 8 months ago
1998
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
197
click to vote
NAACL
1994
15 years 8 months ago
1994
The Penn Treebank has recently implemented a new syntactic annotation scheme, designed to highlight aspects of predicate-argument structure. This paper discusses the implementatio...
298
click to vote
AAIP
2009
15 years 7 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...