113 search results - page 4 / 23 » Strict Canonical Constructive Systems |
CSR
2008
Springer
13 years 8 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...
PEPM
2010
ACM
14 years 4 months 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...
TPHOL
2008
IEEE
14 years 2 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...
MMS
2008
13 years 7 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...
ACCV
2007
Springer
14 years 2 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...