404 search results - page 54 / 81 » Analysis methods to support design for damping |
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...
DAC
2009
ACM
15 years 6 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
104
click to vote
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
102
click to vote
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
102
click to vote
WSC
2007
15 years 2 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...