Sciweavers

12742 search results - page 6 / 2549
» On canonical number systems
Sort
View
IJCNN
2006
IEEE
15 years 3 months ago
Online Kernel Canonical Correlation Analysis for Supervised Equalization of Wiener Systems
— We consider the application of kernel canonical correlation analysis (K-CCA) to the supervised equalization of Wiener systems. Although a considerable amount of research has be...
Steven Van Vaerenbergh, Javier Vía, Ignacio...
CMA
2010
68views more  CMA 2010»
14 years 7 months ago
Maximum cardinality resonant sets and maximal alternating sets of hexagonal systems
It is shown that the Clar number can be arbitrarily larger than the cardinality of a maximal alternating set. In particular, a maximal alternating set of a hexagonal system need n...
Sandi Klavzar, Khaled Salem, Andrej Taranenko
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 9 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
ENTCS
2008
116views more  ENTCS 2008»
14 years 9 months ago
A Bidirectional Refinement Type System for LF
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
William Lovas, Frank Pfenning
IOR
2007
65views more  IOR 2007»
14 years 9 months ago
A Comparison of the Optimal Costs of Two Canonical Inventory Systems
We compare two inventory systems, one in which excess demand is lost and the other in which excess demand is backordered. Both systems are reviewed periodically. They experience t...
Ganesh Janakiraman, Sridhar Seshadri, J. George Sh...