193 search results - page 33 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
ECIR
2010
Springer
13 years 9 months ago
2010
Springer
Collaborative filtering is one of the most effective techniques for making personalized content recommendation. In the literature, a common experimental setup in the modeling phase...
PODS
2005
ACM
14 years 7 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
TWC
2010
13 years 2 months ago
2010
Abstract--Frequency hopping (FH) has been the most popularly considered approach for alleviating the effects of jamming attacks. We re-examine, the efficacy of FH based on both exp...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. This paper presents a novel active surface segmentation algorithm using a multiscale shape representation and prior. We define a parametric model of a surface using spher...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...