Sciweavers

207 search results - page 2 / 42
» Canonical Forms for Data-Specifications
Sort
View
COMBINATORICS
2006
158views more  COMBINATORICS 2006»
13 years 5 months ago
Reduced Canonical Forms of Stoppers
The reduced canonical form of a loopfree game G is the simplest game infinitesimally close to G. Reduced canonical forms were introduced by Calistrate, and Grossman and Siegel pro...
Aaron N. Siegel
SCL
2008
150views more  SCL 2008»
13 years 5 months ago
Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
Ben M. Chen, Xinmin Liu, Zongli Lin
ICASSP
2009
IEEE
13 years 3 months ago
Rational canonical form of polyphase matrices with applications to designing paraunitary filter banks
In this paper we consider the rational canonical form of arbitrary polyphase matrices and use it to derive a simple implementation of paraunitary filter banks (PUFBs) based on a c...
Peter G. Vouras, Trac Tran, Michael Ching
ICFP
2004
ACM
14 years 5 months ago
Numbering matters: first-order canonical forms for second-order recursive types
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
François Pottier, Nadji Gauthier
QEST
2010
IEEE
13 years 3 months ago
Canonical Form Based MAP(2) Fitting
The importance of the order two Markovian arrival process (MAP(2)) comes from its compactness, serving either as arrival or service process in applications, and from the nice prope...
Levente Bodrog, Peter Buchholz, Jan Kriege, Mikl&o...