8828 search results - page 349 / 1766 » Formal methods in practice |
156
click to vote
MOC
2000
15 years 6 months ago
2000
The mortar finite element is an example of a non-conforming method which can be used to decompose and re-compose a domain into subdomains without requiring compatibility between th...
195
click to vote
ICIC
2005
Springer
16 years 8 days ago
2005
Springer
In recent years, mining with imbalanced data sets receives more and more attentions in both theoretical and practical aspects. This paper introduces the importance of imbalanced da...
178
click to vote
JGO
2010
15 years 5 months ago
2010
A new and universal penalty method is introduced in this contribution. It is especially intended to be applied in stochastic metaheuristics like genetic algorithms, particle swarm...
156
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
In undergraduate teaching, Computer Architecture (CA) is one of the courses with more systematic, nsive and abstract knowledge. In current Chinese universities, how to bring up und...
179
click to vote
COLT
2005
Springer
16 years 9 days ago
2005
Springer
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed “manifold-motivatedâ€...