2268 search results - page 249 / 454 » The Essence of Form Abstraction |
92
Voted
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We present an unusual algorithm involving classification trees-CARTwheels--where two trees are grown in opposite directions so that they are joined at their leaves. This approach ...
111
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
202
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
111
click to vote
RECOMB
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Whole genome doubling (WGD), a frequent occurrence during the evolution of the angiopsperms, complicates ancestral gene order reconstruction due to the multiplicity of so...
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...