3145 search results - page 229 / 629 » Algebraic Linear Orderings |
164
click to vote
ICASSP
2010
IEEE
15 years 7 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 ...
179
click to vote
PAKDD
2010
ACM
15 years 4 months ago
2010
ACM
Data mining tasks results are usually improved by reducing the dimensionality of data. This improvement however is achieved harder in the case that data lay on a non linear manifol...
200
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
182
click to vote
SI3D
2006
ACM
16 years 22 days ago
2006
ACM
We present an interactive algorithm to compute discretized 3D Euclidean distance fields. Given a set of piecewise linear geometric primitives, our algorithm computes the distance...
187
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we give conditions that a discrete time switched linear systems must satisfy if it is stable. We do this by calculating the mean and covariance of the set of matr...