Sciweavers

21319 search results - page 178 / 4264
» An Approach for Method Reengineering
Sort
View
92
Voted
IDA
2009
Springer
15 years 10 months ago
Ion-Selective Electrode Array Based on a Bayesian Nonlinear Source Separation Method
Ion-selective electrodes (ISE) offer a practical approach for estimating ionic activities. Nonetheless, such devices are not selective, i.e., the ISE response can be affected by ...
Leonardo Tomazeli Duarte, Christian Jutten, Sa&ium...
TAP
2009
Springer
127views Hardware» more  TAP 2009»
15 years 10 months ago
Could We Have Chosen a Better Loop Invariant or Method Contract?
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
Christoph Gladisch
104
Voted
ASPDAC
2006
ACM
106views Hardware» more  ASPDAC 2006»
15 years 9 months ago
Calculating frequency-dependent inductance of VLSI interconnect by complete multiple reciprocity boundary element method
— A complete multiple reciprocity method (CMRM), usually for the eigenvalue analysis of Helmholtz equation, is introduced to the BEM for frequency-dependent inductance extraction...
Changhao Yan, Wenjian Yu, Zeyi Wang
140
Voted
CAISE
2005
Springer
15 years 9 months ago
Weighted Evaluation of Ontology Building Methods
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
Sari Hakkarainen, Darijus Strasunskas, Lillian Hel...
80
Voted
ASPDAC
2004
ACM
92views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Analog circuit behavioral modeling via wavelet collocation method with auto-companding
- In this paper, we propose an auto-companding technique for the analog behavioral modeling via wavelet collocation method. The companding function is automatically constructed acc...
Jian Wang, Jun Tao, Xuan Zeng, Charles Chiang, Dia...