1237 search results - page 85 / 248 » Strictness and Totality Analysis |
174
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
153
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Clickthrough rate and cost-per-click are known to be among the factors that impact the rank of an ad shown on a search result page. Hence, search engines can benefit from estimat...
174
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
157
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper examines the computational role of inhibition as it moves towards balancing concurrent excitation using the biologically-inspired Temporal Noisy-Leaky Integrator (TNLI) ...
162
click to vote
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...