390 search results - page 59 / 78 » A New Simulation Technique for Periodic Small-Signal Analysi... |
110
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
109
click to vote
EUROCRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper, a new method is proposed for delay and Doppler estimation using copula theory. Copula analysis helps to explore the underlying inter-dependence between the desired ...
117
click to vote
ISBI
2008
IEEE
16 years 2 months ago
2008
IEEE
In ultrasound (US) imaging, denoising is intended to improve quantitative image analysis techniques. In this paper, a new version of the Non Local (NL) Means filter adapted for US...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...