Sciweavers

1828 search results - page 165 / 366
» First-Class Type Classes
Sort
View
ARSCOM
2008
117views more  ARSCOM 2008»
15 years 6 months ago
Subset Counting in Trees
Various enumeration problems for classes of simply generated families of trees have been the object of investigation in the past. We mention the enumeration of independent subsets,...
Stephan G. Wagner
FFA
2006
116views more  FFA 2006»
15 years 6 months ago
Amorphic association schemes with negative Latin square-type graphs
Applying results from partial difference sets, quadratic forms, and recent results of Brouwer and Van Dam, we construct the first known amorphic association scheme with negative La...
James A. Davis, Qing Xiang
CORR
2007
Springer
141views Education» more  CORR 2007»
15 years 6 months ago
Bootstrapping Deep Lexical Resources: Resources for Courses
We propose a range of deep lexical acquisition methods which make use of morphological, syntactic and ontological language resources to model word similarity and bootstrap from a ...
Timothy Baldwin
JSYML
2008
66views more  JSYML 2008»
15 years 6 months ago
Flat algebras and the translation of universal Horn logic to equational logic
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
Marcel Jackson
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl