2335 search results - page 190 / 467 » Type Checking Type Classes |
IEICET
2006
15 years 2 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...
115
click to vote
MCS
2006
Springer
15 years 2 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
15 years 2 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...
113
click to vote
ARSCOM
2005
15 years 2 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...
102
click to vote
DLT
2009
15 years 5 days 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...