16616 search results - page 319 / 3324 » Extending Extended Vacuity |
203
click to vote
ENTCS
2011
15 years 1 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
151
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
203
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
We detail the methodology of ‘trace ethnography’, which combines the richness of participant-observation with the wealth of data in logs so as to reconstruct patterns and prac...
120
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The paper proposes a modification of the standard maximum a posteriori (MAP) method for the estimation of the parameters of a Gaussian process for cases where the process is supe...