5564 search results - page 402 / 1113 » Performance Modeling of HPC Applications |
131
click to vote
CSDA
2006
15 years 5 months ago
2006
Following the work of Hurvich, Shumway, and Tsai (1990), we propose an "improved" variant of the Akaike information criterion, AICi, for state-space model selection. The...
158
Voted
ENTCS
2007
15 years 5 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
145
click to vote
CVPR
2001
IEEE
16 years 7 months ago
2001
IEEE
Active contour and surface models, also known as deformable models, constitute a class of powerful segmentation techniques. Geometric deformable models implemented via level-set m...
121
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
122
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Due to the high performance of recent computer graphics hardware, 3D CG and CG animations have become in great demand for various applications. Many 3D models have already been cr...