1633 search results - page 304 / 327 » On the Verification of Temporal Properties |
79
Voted
IJISEC
2011
14 years 3 months ago
2011
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
118
click to vote
IWANN
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We study how primary tactile afferents encode relevant contact features to mediate early processing of haptic information. In this paper, we apply metrical information t...
110
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a pixel similarity-based algorithm enabling accurate rigid registration between single and multimodal images presenting gross dissimilarities due to noise, missing data...
109
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
Compressive sampling (CS) aims at acquiring a signal at a sampling rate that is significantly below the Nyquist rate. Its main idea is that a signal can be decoded from incomplet...
129
click to vote
APVIS
2011
2011
Loose capacity-constrained representatives for the qualitative visual analysis in molecular dynamics
13 years 11 months ago
Molecular dynamics is a widely used simulation technique to investigate material properties and structural changes under external forces. The availability of more powerful cluster...