2173 search results - page 305 / 435 » On the Values of Reducibility Candidates |
135
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this research, we use a game-theoretic model to examine personalization of information in a twodimensional product differentiation model, when consumers attach importance to ...
187
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
161
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
185
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
165
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...