Sciweavers

137 search results - page 20 / 28
» Deformation Techniques for Efficient Polynomial Equation Sol...
Sort
View
DAC
2003
ACM
14 years 29 days ago
Symbolic analysis of analog circuits with hard nonlinearity
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
Alicia Manthe, Zhao Li, C.-J. Richard Shi
ISBI
2004
IEEE
14 years 8 months ago
Nonrigid Registration of Medical Image by Maxwell Model of Viscoelasticity
Nonrigid medical image registration has many potentially applications for diagnosis and monitoring disease progression in the clinic, and is very hot in computational anatomy. How...
Songyuan Tang, Tianzi Jiang
ICALP
2000
Springer
13 years 11 months ago
Efficient Verification Algorithms for One-Counter Processes
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
Antonín Kucera
ICDE
2010
IEEE
282views Database» more  ICDE 2010»
14 years 7 months ago
Quantile-Based KNN Over Multi-Valued Objects
K Nearest Neighbor search has many applications including data mining, multi-media, image processing, and monitoring moving objects. In this paper, we study the problem of KNN over...
Wenjie Zhang, Xuemin Lin, Muhammad Aamir Cheema, Y...
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
13 years 9 months ago
Substrate resistance extraction with direct boundary element method
- It is important to model the substrate coupling for mixed-signal circuit designs today. This paper presents the direct boundary element method (BEM) for substrate resistance calc...
Xiren Wang, Wenjian Yu, Zeyi Wang