685 search results - page 110 / 137 » Closure Operators for Order Structures |
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In this paper the two main definitions of quaternion properness (or second order circularity) are reviewed, showing their connection with the structure of the optimal quaternion ...
ACTA
2010
13 years 8 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
ANOR
2010
13 years 8 months ago
2010
This paper presents two novel genetic algorithms (GAs) for hard industrially relevant packing problems. The design of both algorithms is inspired by aspects of molecular genetics,...
CSDA
2008
13 years 8 months ago
2008
This paper gives algorithms for determining real-valued univariate unimodal regressions, that is, for determining the optimal regression which is increasing and then decreasing. S...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper describes an efficient implementation of binning for decode-and-forward (DF) in relay channels using lowdensity parity-check (LDPC) codes. Bilayer LDPC codes are devised...