Sciweavers

582 search results - page 16 / 117
» Abstract Families of Abstract Categorial Languages
Sort
View
SIGIR
2008
ACM
14 years 9 months ago
Measuring concept relatedness using language models
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
Dolf Trieschnigg, Edgar Meij, Maarten de Rijke, We...
ECOOP
2005
Springer
15 years 3 months ago
Combining Feature-Oriented and Aspect-Oriented Programming to Support Software Evolution
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
Sven Apel, Thomas Leich, Marko Rosenmüller, G...
RR
2009
Springer
15 years 2 months ago
Search for More Declarativity
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
Simon Brodt, François Bry, Norbert Eisinger
TPHOL
2005
IEEE
15 years 3 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
PUK
2003
14 years 11 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...