1565 search results - page 133 / 313 » An unlikely result |
86
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
126
Voted
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper reports a vessel structure based non-rigid registration method for cortical surface registration and deformation tracking using a laser-range scanner(LRS). The LRS cont...
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
95
Voted
EUROCRYPT
2009
Springer
16 years 1 months ago
2009
Springer
A weak pseudorandom function (wPRF) is a cryptographic primitive similar to ? but weaker than ? a pseudorandom function: for wPRFs one only requires that the output is pseudorandom...