Sciweavers

5169 search results - page 895 / 1034
» Locality approximation using time
Sort
View
145
Voted
DAC
2001
ACM
16 years 4 months ago
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
Michael Theobald, Steven M. Nowick
126
Voted
MICCAI
2006
Springer
16 years 4 months ago
Boosting and Nonparametric Based Tracking of Tagged MRI Cardiac Boundaries
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
Zhen Qian, Dimitris N. Metaxas, Leon Axel
156
Voted
MICCAI
2005
Springer
16 years 4 months ago
A Hamilton-Jacobi-Bellman Approach to High Angular Resolution Diffusion Tractography
Abstract. This paper describes a new framework for white matter tractography in high angular resolution diffusion data. A direction-dependent local cost is defined based on the dif...
Eric Pichon, Carl-Fredrik Westin, Allen Tannenbaum
121
Voted
WWW
2006
ACM
16 years 4 months ago
Designing ethical phishing experiments: a study of (ROT13) rOnl query features
We study how to design experiments to measure the success rates of phishing attacks that are ethical and accurate, which are two requirements of contradictory forces. Namely, an e...
Markus Jakobsson, Jacob Ratkiewicz
CAV
2009
Springer
116views Hardware» more  CAV 2009»
16 years 4 months ago
Meta-analysis for Atomicity Violations under Nested Locking
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino