26354 search results - page 63 / 5271 » How we refactor, and how we know it |
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
COLT
2007
Springer
14 years 3 months ago
2007
Springer
Recently, Balcan and Blum [1] suggested a theory of learning based on general similarity functions, instead of positive semi-definite kernels. We study the gap between the learnin...
ICWSM
2010
13 years 7 months ago
2010
We investigate the impact of a discussion snippet’s overall sentiment on a user’s willingness to read more of a discussion. Using sentiment analysis, we constructed positive, ...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Iris recognition is regarded as the most reliable biometrics and has been widely applied in both public and personal security areas. However users have to highly cooperate with th...