755 search results - page 114 / 151 » Sequential Diagnosis by Abstraction |
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—It is now widely accepted that in many situations where classifiers are deployed, adversaries deliberately manipulate data in order to reduce the classifier’s accura...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper we describe the problem of Visual Place Categorization (VPC) for mobile robotics, which involves predicting the semantic category of a place from image me...
ECWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
ICVS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Nearest Neighbor Search (NNS) is employed by many computer vision algorithms. The computational complexity is large and constitutes a challenge for real-time capability. ...