2049 search results - page 166 / 410 » Normalization and Partial Evaluation |
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
The ability to monitor a database server is crucial for effective database administration. Today's commercial database systems support two basic mechanisms for monitoring: (a...
DAC
2009
ACM
14 years 11 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Diffusion Weighted Imaging (DWI) and Diffusion Tensor Imaging (DTI) are widely used in the study and diagnosis of neurological diseases involving the White Matter (WM). However, ma...
ISBI
2008
IEEE
14 years 11 months ago
2008
IEEE
Tagged MRI is a non-invasive technique to assess myocardial deformations. In this paper, we developed a novel non-tracking-based strain estimation method for tagged MRI. This meth...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— For multiple-input multiple-output (MIMO) systems, the optimum maximum likelihood (ML) detection requires tremendous complexity as the number of antennas or modulation ...