770 search results - page 10 / 154 » Dinatural Terms in System F |
JSC
2002
13 years 7 months ago
2002
This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
DEXAW
1999
IEEE
13 years 11 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
PLDI
2005
ACM
14 years 28 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
ISCAS
2002
IEEE
14 years 8 days ago
2002
IEEE
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...