4616 search results - page 321 / 924 » Beyond relational databases |
155
Voted
CSR
2007
Springer
16 years 27 days ago
2007
Springer
We investigate the complexity of equivalence problems for {∪, ∩, − , +, ×}-circuits computing sets of natural numbers. These problems were first introduced by Stockmeyer an...
185
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
175
click to vote
ACCV
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
143
click to vote
ML
2006
ACM
16 years 21 days ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
163
click to vote
EURONGI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...