150 search results - page 12 / 30 » Products of Weighted Logic Programs |
142
click to vote
GECCO
2011
Springer
14 years 3 months ago
2011
Springer
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
116
click to vote
FLAIRS
2008
15 years 2 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
100
click to vote
DAC
2009
ACM
16 years 21 days ago
2009
ACM
Heterogeneous multicore processors promise high execution
efficiency under diverse workloads, and program scheduling is
critical in exploiting this efficiency. This paper present...
112
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
128
click to vote
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...