654 search results - page 91 / 131 » Ordered Sets and Complete Lattices |
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—The interference situation in the uplink of cellular networks, such as the 3GPP UTRAN Long Term Evolution (LTE), is usually highly volatile since from one transmission time inte...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. Complete 3-D modeling of a free-form object requires acquisition from multiple view-points. These views are then required to be registered in a common coordinate system b...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper deals with the performance evaluation of three object invariant descriptors : Hu moments, Zernike moments and Fourier-Mellin descriptors. Experiments are conducted on a...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Many new applications that involve decision making need online (i.e., OLAP-styled) preference analysis with multidimensional boolean selections. Typical preference queries includes...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...