440 search results - page 58 / 88 » An Abstract Data Type for Real Numbers |
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—Scalable reliable multicast protocols have been a focus of recent research, tackling the problem of efficient reliable data delivery to an arbitrarily large number of r...
DAWAK
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Feature Extraction, also known as Multidimensional Scaling, is a basic primitive associated with indexing, clustering, nearest neighbor searching and visualization. We co...
IJCV
2007
13 years 9 months ago
2007
Abstract In this paper we present a system for the automatic detection and tracking of metallic objects concealed on moving people in sequences of millimetre-wave (MMW) images. The...
STTT
2010
13 years 7 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
BMCBI
2006
13 years 9 months ago
2006
Background: A large number of genes usually show differential expressions in a microarray experiment with two types of tissues, and the p-values of a proper statistical test are o...