15 search results - page 3 / 3 » Efficient AC analysis of oscillators using least-squares met... |
ENTCS
2006
13 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
CVPR
2008
IEEE
13 years 5 months ago
2008
IEEE
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...
ITIIS
2010
13 years 3 months ago
2010
Traffic matrix-based anomaly detection and DDoS attacks detection in networks are research focus in the network security and traffic measurement community. In this paper, firstly,...
ESE
2006
13 years 5 months ago
2006
This paper presents results from a comparative evaluation of five combination strategies. Combination strategies are test case selection methods that combine "interesting&quo...
BMCBI
2008
13 years 5 months ago
2008
Background: A goal of proteomics is to distinguish between states of a biological system by identifying protein expression differences. Liu et al. demonstrated a method to perform...