Search Sciweavers | Sciweavers

1686 search results - page 70 / 338

» Higher Order Deforestation

click to vote

CORR
2008
Springer

114views Education» more CORR 2008»

The Equivalence of Semidefinite Relaxation MIMO Detectors for Higher-Order QAM

14 years 12 months ago

Download www.ee.nthu.edu.tw

In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...

Wing-Kin Ma, Chao-Cheng Su, Joakim Jalden, Tsung-H...

claim paper

Read More »

click to vote

CORR
2008
Springer

109views Education» more CORR 2008»

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

14 years 12 months ago

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

click to vote

ENTCS
2008

105views more ENTCS 2008»

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

14 years 12 months ago

Download www.site.uottawa.ca

Alberto Momigliano, Alan J. Martin, Amy P. Felty

claim paper

Read More »

click to vote

ENTCS
2008

140views more ENTCS 2008»

Higher-Order Separation Logic in Isabelle/HOLCF

14 years 12 months ago

Download www.itu.dk

We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...

Carsten Varming, Lars Birkedal

claim paper

Read More »

click to vote

CORR
2006
Springer

82views Education» more CORR 2006»

Higher-Order Termination: from Kruskal to Computability

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers