9359 search results - page 719 / 1872 » Generalization Algorithms for Second-Order Terms |
184
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
This paper considers the use of computational stylistics for performing authorship attribution of electronic messages, addressing categorization problems with as many as 20 differ...
200
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...
289
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
215
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
200
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...