2853 search results - page 256 / 571 » On Coherence in Computer Algebra |
199
click to vote
CALCO
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
147
Voted
CORR
2012
Springer
14 years 21 days ago
2012
Springer
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
241
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
153
click to vote
JCB
2006
15 years 5 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
140
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Many computer vision problems rely on computing histogram-based objective functions with a sliding window. A main limiting factor is the high computational cost. Existing computat...