10594 search results - page 555 / 2119 » Learning classifier systems |
132
click to vote
IPPS
2008
IEEE
16 years 23 days ago
2008
IEEE
We discuss availability aspects of large softwarebased systems. We classify faults into Bohrbugs, Mandelbugs and aging-related bugs, then examine mitigation methods for the last t...
150
click to vote
ATS
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
169
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
120
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Source control systems permit developers to attach a free form message to every committed change. The content of these change messages can support software maintenance activities....
213
click to vote
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
Result diversification has recently attracted much attention as a means of increasing user satisfaction in recommender systems and web search. Many different approaches have been ...