2962 search results - page 260 / 593 » Reasoning on Association Rules |
166
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
150
click to vote
COLING
2000
15 years 8 months ago
2000
This paper describes a machine translation architecture that integrates the use el' examples for flexible, idiomatic translations with the use o1' linguistic rules for b...
164
Voted
CAGD
2005
15 years 6 months ago
2005
The paper iterates on the observation made independently by several groups of authors that building subdivision schemes out of simple, very local and geometrically invariant avera...
252
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
163
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Human genome contains millions of common single nucleotide polymorphisms (SNPs) and these SNPs play an important role in understanding the association between genetic ...