1802 search results - page 120 / 361 » Model-based Theory Combination |
FUN
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
JSAI
2007
Springer
14 years 3 months 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...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
HT
2004
ACM
14 years 2 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...