3353 search results - page 230 / 671 » Laver and set theory |
147
click to vote
CONTEXT
2007
Springer
16 years 22 days ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
146
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
227
click to vote
JSAI
2007
Springer
16 years 21 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
173
click to vote
WEBI
2007
Springer
16 years 20 days ago
2007
Springer
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
154
click to vote
SIGDOC
2006
ACM
16 years 15 days ago
2006
ACM
The ethical conduct of research is a cornerstone of modern scientific research. Computer science and the discipline’s technological artifacts touch nearly every aspect of moder...