362 search results - page 33 / 73 » Analysis and Generalizations of the Linearized Bregman Metho... |
ASPDAC
2005
ACM
13 years 9 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
14 years 3 days 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...
CAV
1999
Springer
13 years 12 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...
NIPS
1996
13 years 9 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
13 years 9 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 ...