1999 search results - page 82 / 400 » Dependently Typed Grammars |
158
click to vote
ACL
2004
15 years 7 months ago
2004
We extend previous work on tree kernels to estimate the similarity between the dependency trees of sentences. Using this kernel within a Support Vector Machine, we detect and clas...
180
click to vote
IJNSEC
2007
15 years 6 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
168
click to vote
IJIIDS
2010
15 years 4 months ago
2010
With the advent of XML as a data representation and exchange format over the web, a massive amount of data is being stored in XML. The task of data transformation for integration ...
216
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
264
click to vote
ICDE
1995
IEEE
16 years 7 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...