4211 search results - page 188 / 843 » Types as Abstract Interpretations |
112
click to vote
COMBINATORICS
2000
15 years 4 months ago
2000
Abstract. We introduce color-signed permutations to obtain a very explicit combinatorial interpretation of the q-Eulerian identities of Brenti and some generalizations. In particul...
144
click to vote
ICTIR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
123
click to vote
JUCS
2010
14 years 11 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
MCM2
2011
14 years 7 months ago
2011
Abstract. In this paper we take the three tonal functions tonic, subdominant, dominant out of their usual theoretical domicile – the combinatorics of fifth-related triads enrich...
130
click to vote
NAR
2010
14 years 11 months ago
2010
Babelomics is a response to the growing necessity of integrating and analyzing different types of genomic data in an environment that allows an easy functional interpretation of t...