Sciweavers

4719 search results - page 430 / 944
» Spreadsheet functional programming
Sort
View
ENTCS
2002
136views more  ENTCS 2002»
15 years 6 months ago
Comparing Calculi of Explicit Substitutions with Eta-reduction
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
Mauricio Ayala-Rincón, Flávio L. C. ...
JCO
2010
97views more  JCO 2010»
15 years 5 months ago
Subhypergraph counts in extremal and random hypergraphs and the fractional q-independence
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...
Andrzej Dudek, Joanna Polcyn, Andrzej Rucinski
VL
2010
IEEE
207views Visual Languages» more  VL 2010»
15 years 5 months ago
Calcite: Completing Code Completion for Constructors Using Crowds
—Calcite is a new Eclipse plugin that helps address the difficulty of understanding and correctly using an API. Calcite finds the most popular ways to instantiate a given class o...
Mathew Mooty, Andrew Faulring, Jeffrey Stylos, Bra...
GW
2009
Springer
148views Biometrics» more  GW 2009»
15 years 4 months ago
On Gestural Variation and Coarticulation Effects in Sound Control
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...
Tommaso Bianco, Vincent Freour, Nicolas H. Rasamim...
IFIP
2009
Springer
15 years 4 months ago
A Collaboration Pattern Model for Virtual Organisations
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
Nikos Papageorgiou, Giannis Verginadis, Dimitris A...