490 search results - page 29 / 98 » Accuracy of Techniques for the Logical Analysis of Data |
PLDI
2012
ACM
12 years 1 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
ILP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract: The Principal Component Analysis (PCA) is a data dimensionality reduction technique well-suited for processing data from sensor networks. It can be applied to tasks like ...
SCIA
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we present a novel image-based 3D surface reconstruction technique that incorporates both reflectance and polarisation features into a variational framework. Our tec...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...