7988 search results - page 295 / 1598 » A Useful Undecidable Theory |
169
click to vote
ANTS
1998
Springer
15 years 9 months ago
1998
Springer
In 1986, following the work of Schoof on counting points on elliptic curves over finite fields, new algorithms for primality proving emerged, due to Goldwasser and Kilian on the on...
129
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper deals with Hidden Markov Quadtree model for multiband image segmentation. This task, requiring multivariate probability density computations for the data likelihood ter...
139
click to vote
HAPTICS
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract. This paper proposes a nonlinear controller to extend the Zwidth of a haptic device. A time-domain passivity analysis of the Z-width diagram leads to the new haptic contro...
120
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
- This paper presents a boundary control of bipolar square-wave generator using a second-order switching surface. The switching surface is derived by estimating the state trajector...
179
click to vote
RSCTC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...