362 search results - page 33 / 73 » Analysis and Generalizations of the Linearized Bregman Metho... |
ASPDAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper proposes a novel wideband modeling technique for high-performance RF passives and linear(ized) analog circuits. The new method is based on a recently proposed sdomain h...
SAS
2001
Springer
15 years 4 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
146
click to vote
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
116
click to vote
NIPS
1996
15 years 1 months ago
1996
To obtain classification systems with both good generalizat`ion performance and efficiency in space and time, we propose a learning method based on combinations of weak classifiers...
VMV
2003
15 years 1 months ago
2003
We present a new concept for the extension of epipolar image analysis to more general camera configurations like circular camera movements usually occuring for concentric mosaic ...