6328 search results - page 1 / 1266 » From Quantity to Quality |
HYBRID
1997
Springer
13 years 8 months ago
1997
Springer
AI
2006
Springer
13 years 8 months ago
2006
Springer
Stochastic local search (SLS) methods are underlying some of the best-performing algorithms for certain types of SAT instances, both from an empirical as well as from a theoretical...
AAAI
2011
12 years 4 months ago
2011
In many real world applications, the number of examples to learn from is plentiful, but we can only obtain limited information on each individual example. We study the possibiliti...
RTSS
1999
IEEE
13 years 8 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
ISESE
2005
IEEE
13 years 10 months ago
2005
IEEE
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...