6650 search results - page 169 / 1330 » models 2009 |
185
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
148
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
173
click to vote
QOSA
2009
Springer
15 years 11 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
235
click to vote
HIS
2009
15 years 4 months ago
2009
In this paper, a level set method with shape model is proposed for image segmentation. Because the level set model proposed by Chan and Vese can not work well on some specific shap...
166
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...