19798 search results - page 180 / 3960 » Is Structural Subtyping Useful |
129
click to vote
AAECC
2007
Springer
15 years 3 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
15 years 7 months ago
2006
IEEE
A new forecasting technique called the extended structural model (ESM) is presented. This technique is derived
232
click to vote
BIOCOMP
2006
15 years 4 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...
121
click to vote
ACL
2004
15 years 4 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...
144
click to vote
KDD
1997
ACM
15 years 6 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...