2490 search results - page 404 / 498 » A General Method for Feature Matching and Model Extraction |
CAV
2010
Springer
14 years 26 days ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Dynamic-Contrast Enhanced MRI (DCE-MRI) is currently used as a complementary diagnosis tool to assess the malignancy of the liver tumor, called hepatoma, hepatocarcinoma, hepatoce...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
ISM
2005
IEEE
14 years 2 months ago
2005
IEEE
Our research extends the general technologies detecting pornographic images to prevent the benign images whose content is approximate with the pornographic ones from being screene...
JCC
2002
13 years 8 months ago
2002
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...