19798 search results - page 180 / 3960 » Is Structural Subtyping Useful |
AAECC
2007
Springer
13 years 10 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
CNSR
2006
IEEE
14 years 2 months ago
2006
IEEE
A new forecasting technique called the extended structural model (ESM) is presented. This technique is derived
BIOCOMP
2006
13 years 11 months ago
2006
- In this study, a context-sensitive grammar is suggested to model various forms of RNA secondary structures, especially pseudoknots. Comparing with a conventional context-free gra...
ACL
2004
13 years 11 months ago
2004
We describe a method for enriching the output of a parser with information available in a corpus. The method is based on graph rewriting using memorybased learning, applied to dep...
KDD
1997
ACM
14 years 1 months ago
1997
ACM
In this paper, we employ a novel approach to metarule-guided, multi-dimensional association rule mining which explores a data cube structure. We propose algorithms for metarule-gu...