Sciweavers

5608 search results - page 200 / 1122
» On the Theory of Matchgate Computations
Sort
View
MFCS
2010
Springer
15 years 10 days ago
Resource Combinatory Algebras
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
DCG
2011
14 years 9 months ago
Random Geometric Complexes
We study the expected topological properties of ˇCech and Vietoris-Rips complexes built on random points in Rd . We find higher dimensional analogues of known results for connect...
Matthew Kahle
ACS
2011
14 years 8 months ago
Algebras of Higher Operads as Enriched Categories
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
Michael Batanin, Mark Weber
ACL
2011
14 years 5 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
CHI
2011
ACM
14 years 5 months ago
A phenomenology of human-electricity relations
This paper investigates the philosophical question of how we can experience energy with the aim of informing the design of future ways of experiencing energy by means of technolog...
James Pierce, Eric Paulos