8141 search results - page 172 / 1629 » Higher Order Generalization |
151
Voted
CCL
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
126
Voted
COLING
2000
15 years 5 months ago
2000
This research looks at the effects of word order and segmentation on translation retrieval performance for an experimental Japanese-English translation memory system. We implement...
112
Voted
COLING
2000
15 years 5 months ago
2000
We define state transition grammars (STG) as an intermediate tbrmalism between grammars and parsing algorithms which is intended to separate the description of a parsing strategy ...
143
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
143
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...