2268 search results - page 227 / 454 » The Essence of Form Abstraction |
146
Voted
CONCUR
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
127
click to vote
IACR
2011
14 years 1 months ago
2011
Abstract. In this paper we find a lower bound of the second-order nonlinearities of Boolean bent functions of the form f(x) = Trn 1 (α1xd1 + α2xd2 ), where d1 and d2 are Niho ex...
126
Voted
JUCS
2011
14 years 8 months ago
2011
Abstract: Neural network learning approach for color image restoration has been discussed in this paper and one of the possible solutions for restoring images has been presented. H...
280
Voted
ICA
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
101
click to vote
PAM
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We take a close look at Xunlei, an enormously popular download acceleration application in China. Xunlei forms a complex ecosystem, with Xunlei peers extensively interact...