11182 search results - page 1949 / 2237 » Shape Analysis of Sets |
203
click to vote
JAR
2010
15 years 2 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
188
click to vote
JCIT
2010
15 years 2 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
210
click to vote
JMLR
2010
15 years 2 months ago
2010
We have developed a machine learning toolbox, called SHOGUN, which is designed for unified large-scale learning for a broad range of feature types and learning settings. It offers...
164
click to vote
JNS
2010
2010
Initiation of Cracks in Griffith's Theory: An Argument of Continuity in Favor of Global Minimization
15 years 2 months ago
The initiation of a crack in a sound body is a real issue in the setting of Griffith's theory of brittle fracture. If one uses the concept of critical energy release rate (Gri...
279
click to vote
MEMETIC
2010
15 years 2 months ago
2010
In combinatorial solution spaces Iterated Local Search (ILS) turns out to be exceptionally successful. The question arises: is ILS also capable of improving the optimization proces...