1809 search results - page 163 / 362 » Weakly Computable Real Numbers |
124
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a highly accurate and efficient method for crack detection using percolation-based image processing. The detection of cracks in concrete surfaces during the ma...
127
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
139
click to vote
STACS
2004
Springer
15 years 9 months ago
2004
Springer
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
151
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we present several novel strategies to improve software controlled cache utilization, so as to achieve lower power requirements for multi-media and signal processin...
145
click to vote
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...