2335 search results - page 190 / 467 » Type Checking Type Classes |
IEICET
2006
13 years 10 months ago
2006
This paper overviews the history of a class of varactor tuned bandpass filters. Since the miniaturization as well as the high performance of the tunable bandpass filters is requir...
MCS
2006
Springer
13 years 10 months ago
2006
Springer
8 The training of some types of neural networks leads to separable non-linear least squares problems. These problems may be9 ill-conditioned and require special techniques. A robus...
SCL
2008
13 years 10 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
ARSCOM
2005
13 years 10 months ago
2005
A class of graphs called generalized ladder graphs is defined. A sufficient condition for pairs of these graphs to be chromatically equivalent is proven. In addition a formula for...
DLT
2009
13 years 8 months ago
2009
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...