87 search results - page 10 / 18 » Automatic Generation of Object Usage Specifications from Lar... |
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Automatic segmentation of anatomical structures is often performed using model-based non-rigid registration methods. These algorithms work well when the images do not contain any ...
FM
2003
Springer
14 years 20 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
IPCCC
1999
IEEE
13 years 11 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
NIPS
2007
13 years 9 months ago
2007
We present a new and efficient semi-supervised training method for parameter estimation and feature selection in conditional random fields (CRFs). In real-world applications suc...
EGH
2003
Springer
14 years 21 days ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...