2911 search results - page 135 / 583 » A Theory of Expressiveness in Mechanisms |
131
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
184
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
236
click to vote
DM
2011
15 years 1 months ago
2011
Abstract. The Legendre-Stirling numbers were discovered in 2002 as a result of a problem involving the spectral theory of powers of the classical second-order Legendre di¤erential...
146
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
A coCluster of a m?n matrix X is a submatrix determined by a subset of the rows and a subset of the columns. The problem of finding coClusters with specific properties is of inter...
156
click to vote
PLSA
1994
15 years 10 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...