Sciweavers

4781 search results - page 754 / 957
» Complexity at large
Sort
View
ISBI
2009
IEEE
14 years 5 months ago
Quantitative Validation of Optical Flow Based Myocardial Strain Measures Using Sonomicrometry
Dynamic cardiac metrics, including myocardial strains and displacements, provide a quantitative approach to evaluate cardiac function. However, in current clinical diagnosis, larg...
Qi Duan, Katherine Parker, Auranuch Lorsakul, Elsa...
CORR
2010
Springer
190views Education» more  CORR 2010»
13 years 10 months ago
Overlap properties of geometric expanders
The overlap number of a finite (d + 1)-uniform hypergraph H is the largest constant c(H) (0, 1] such that no matter how we map the vertices of H into Rd , there is a point covered...
Jacob Fox, Mikhail Gromov, Vincent Lafforgue, Assa...
PLDI
2004
ACM
14 years 4 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
ICCAD
2010
IEEE
136views Hardware» more  ICCAD 2010»
13 years 8 months ago
Synthesis of an efficient controlling structure for post-silicon clock skew minimization
Clock skew minimization has been an important design constraint. However, due to the complexity of Process, Voltage, and Temperature (PVT) variations, the minimization of clock sk...
Yu-Chien Kao, Hsuan-Ming Chou, Kun-Ting Tsai, Shih...
CVPR
2009
IEEE
15 years 5 months ago
Reducing JointBoost-Based Multiclass Classification to Proximity Search
Boosted one-versus-all (OVA) classifiers are commonly used in multiclass problems, such as generic object recognition, biometrics-based identification, or gesture recognition. Join...
Alexandra Stefan (University of Texas at Arlington...