4708 search results - page 605 / 942 » Generating the Structure of Argument |
212
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
216
click to vote
ACL
2012
13 years 9 months ago
2012
Long-span features, such as syntax, can improve language models for tasks such as speech recognition and machine translation. However, these language models can be difficult to u...
178
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Intracoronary UltraSound (IVUS) imaging allows to obtain high resolution images of internal part of coronary arteries. This tool is unique in the possibility to explore internal ve...
138
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
158
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we present a learning-based method for the detection and segmentation of 3D free-form tubular structures, such as the rectal tubes in CT colonoscopy. This method can...