35419 search results - page 157 / 7084 » How are we doing |
CONCUR
2009
Springer
15 years 10 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
132
click to vote
ICPR
2008
IEEE
16 years 5 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...
142
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
We studied the evolution of an online innovation community and users’ interaction behavior through social network analysis to explore how to build an innovation community and ge...
119
click to vote
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...
126
click to vote
COLT
2007
Springer
15 years 10 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...