Search Sciweavers | Sciweavers

2956 search results - page 25 / 592

» Databases and Higher Types

101

click to vote

PPCP
1993

148views Programming Languages» more PPCP 1993»

Higher-Order Logic Programming as Constraint Logic Programming

15 years 1 months ago

Download www.cs.cmu.edu

Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...

Spiro Michaylov, Frank Pfenning

claim paper

Read More »

104

click to vote

CSL
2008
Springer

80views Automated Reasoning» more CSL 2008»

Syntactic Metatheory of Higher-Order Subtyping

14 years 11 months ago

Download www2.tcs.ifi.lmu.de

Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...

Andreas Abel, Dulma Rodriguez

claim paper

Read More »

click to vote

EMNLP
2007

124views Natural Language Processing» more EMNLP 2007»

Experiments with a Higher-Order Projective Dependency Parser

14 years 11 months ago

Download people.csail.mit.edu

We present experiments with a dependency parsing model deﬁned on rich factors. Our model represents dependency trees with factors that include three types of relations between t...

Xavier Carreras

claim paper

Read More »

click to vote

GLVLSI
1998
IEEE

128views VLSI» more GLVLSI 1998»

A Storage Structure for Graph-Oriented Databases Using an Array of Element Types

15 years 1 months ago

Download www.cs.york.ac.uk

Teruhisa Hochin, Tatsuo Tsuji

claim paper

Read More »