8828 search results - page 332 / 1766 » Formal methods in practice |
153
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
: Writer recognition is a very important branch of biometrics. In our previous research, a Grid Micro-structure Feature (GMSF) based text-independent and scriptindependent method w...
134
Voted
IDA
2009
Springer
16 years 1 months ago
2009
Springer
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 ...
140
click to vote
ASPDAC
2006
ACM
16 years 22 days ago
2006
ACM
— A complete multiple reciprocity method (CMRM), usually for the eigenvalue analysis of Helmholtz equation, is introduced to the BEM for frequency-dependent inductance extraction...
198
click to vote
ENGL
2007
15 years 6 months ago
2007
- Fuzzy measures are monotonic set functions used for modelling strength of coalition of criteria in multicriteria decision-making. However, the practical application of fuzzy meas...
162
click to vote
SIAMJO
2010
15 years 5 months ago
2010
This paper addresses the need for nonlinear programming algorithms that provide fast local convergence guarantees no matter if a problem is feasible or infeasible. We present an a...