113 search results - page 4 / 23 » Strict Canonical Constructive Systems |
134
Voted
CSR
2008
Springer
15 years 3 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
130
Voted
PEPM
2010
ACM
16 years 16 days ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
122
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
118
Voted
MMS
2008
15 years 3 months ago
2008
As the broadcast industry is evolving toward IT-based facilities, the production workflows and their associated production metadata should similarly take advantage of IT commoditi...
154
Voted
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
A novel kernel discriminant transformation (KDT) algorithm based on the concept of canonical differences is presented for automatic face recognition applications. For each individu...