Sciweavers

1742 search results - page 181 / 349
» An Applicative Module Calculus
Sort
View
CORR
2007
Springer
151views Education» more  CORR 2007»
13 years 10 months ago
The algebraicity of the lambda-calculus
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...
André Hirschowitz, Marco Maggesi
LPAR
2010
Springer
13 years 9 months ago
Aligators for Arrays (Tool Paper)
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...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
OOPSLA
2010
Springer
13 years 9 months ago
Modular logic metaprogramming
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...
Karl Klose, Klaus Ostermann
SIGDIAL
2010
13 years 8 months ago
Middleware for Incremental Processing in Conversational Agents
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...
David Schlangen, Timo Baumann, Hendrik Buschmeier,...
ICASSP
2011
IEEE
13 years 2 months ago
A reweighted least squares algorithm for detection of QAM signaling in MIMO channels
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...
Katsumi Konishi, Toshihiro Furukawa