3928 search results - page 37 / 786 » order 2006 |
128
Voted
CSC
2006
15 years 5 months ago
2006
: - There are many numerical methods adopted to solve mathematical problems. Early researchers focused on the methods to reduce computational costs. In recent years, reduction in c...
117
Voted
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
A new way to determine the exact layer-wise SINR distribution for V-BLAST with successive interference cancellation at the receiver is presented. In contrast to previous publicati...
123
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
141
Voted
AAECC
2006
Springer
15 years 3 months ago
2006
Springer
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...
163
Voted
JGTOOLS
2006
15 years 3 months ago
2006
We present a graphics hardware implementation of the tangent-plane algorithm for computing the kth-order Voronoi diagram of a set of point sites in image space. Correct and effici...