1742 search results - page 181 / 349 » An Applicative Module Calculus |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
LPAR
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
OOPSLA
2010
Springer
13 years 9 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
SIGDIAL
2010
13 years 8 months ago
2010
We describe work done at three sites on designing conversational agents capable of incremental processing. We focus on the `middleware' layer in these systems, which takes ca...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper proposes a reweighted least squares algorithm for quadrature amplitude modulation (QAM) detector in multiple-input multiple-output (MIMO) channels. Although the QAM det...