7393 search results - page 1310 / 1479 » Synthesis-for-testability using transformations |
144
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
152
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—We consider the problem of positioning a cloud of points in the Euclidean space Rd , from noisy measurements of a subset of pairwise distances. This task has applications in var...
99
Voted
COGSR
2010
14 years 10 months ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
144
click to vote
TASLP
2011
14 years 10 months ago
2011
— Missing feature theory (MFT) has demonstrated great potential for improving the noise robustness in speech recognition. MFT was mostly applied in the log-spectral domain since ...
100
click to vote
TIM
2011
14 years 10 months ago
2011
—The ability to measure and model water currents is essential to ensure the safety and correct operations of many water surface activities. For example, the complex currents in h...