Darpa striata

We thank our anonymous reviewers for their helpful feedback. This research was supported by the NSF under award DGE-1500084, CNS… (More)

 

The operational semantics of functional programming languages is frequently presented using inference rules within simple meta… (More)

This paper describes a novel autonomously adaptive networked radio system that provides a broadband tactical mobile backbone to… (More)

In this paper, we present a predictive neural network called Neural Predictive Coding (NPC). This model is used for non linear… (More)

Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [20], are more expressive than first-order… (More)

DARPA and the NSF are encouraging research on active router networks. By applying these concepts to telephony we: — create a… (More)

1 Abstract This paper describes a tool to help in the analysis of MUC-6 performance. MUC-6 (Message Understanding Conference) is… (More)

We construct multi-prover proof systems for NP which use only a constant number of provers to simultaneously achieve low error… (More)

Higher-order hereditary Harrop formulas, the underlying logical foundation of Prolog [NM88], are more expressive than rst-order… (More)