5325 search results - page 252 / 1065 » Effective Computation for Nonlinear Systems |
201
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
203
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Feature weighting or selection is a crucial process to identify an important subset of features from a data set. Removing irrelevant or redundant features can improve the generali...
167
click to vote
CONIELECOMP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, a Euclidean distance based minutia matching algorithm is proposed to improve the matching accuracy in fingerprint verification system. This algorithm extracts match...
180
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—1 In this paper, we consider an amplify-and-forward (AF) wireless relay system where multiple source nodes communicate with their corresponding destination nodes with the help o...
164
click to vote
SMI
2007
IEEE
16 years 27 days ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...