2588 search results - page 179 / 518 » Applications of Kolmogorov complexity to computable model th... |
100
click to vote
DCC
2000
IEEE
15 years 6 months ago
2000
IEEE
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...
108
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
117
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
117
click to vote
CGI
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper presents the design and implementation of artistic effects in modelling and rendering of volume datasets. Following different stages of a volume-based graphics pipeline...
118
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
We discuss the use of social networks in implementing viral marketing strategies. While influence maximization has been studied in this context (see Chapter 24 of [10]), we study ...