9186 search results - page 1447 / 1838 » A Module System for Scheme |
108
Voted
CGF
2008
15 years 3 months ago
2008
In this paper, we present an image editing tool that allows the user to deform images using a sketch-based interface. The user simply sketches a set of source curves in the input ...
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We study the dynamics of the Naming Game [Baronchelli et al., (2006) J. Stat. Mech.: Theory Exp. P06014] in empirical social networks. This stylized agentbased model captures essen...
143
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we propose a novel channel estimation technique based on 2D spread pilots. The merits of this technique are its simplicity, its flexibility regarding the transmissi...
107
Voted
ENTCS
2008
15 years 3 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
134
Voted
AML
2006
15 years 3 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...