2312 search results - page 86 / 463 » Invariance in Property Testing |
BMCBI
2006
13 years 10 months ago
2006
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...
KES
2006
Springer
13 years 10 months ago
2006
Springer
This paper presents an improved technique to detect evoked potentials in continuous EEG recordings using a spiking neural network. Human EEG signals recorded during spell checking,...
CVPR
2012
IEEE
12 years 13 days ago
2012
IEEE
In this paper, we present a novel approach for human action recognition with histograms of 3D joint locations (HOJ3D) as a compact representation of postures. We extract the 3D sk...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...