2905 search results - page 406 / 581 » Formal Memetic Algorithms |
161
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
132
click to vote
JFP
2008
15 years 2 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
132
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
161
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
132
Voted
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...