3971 search results - page 405 / 795 » On the Use of Properties in Java Applications |
141
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper explores a novel setting for compressed sensing (CS) in which the sampling trajectory length is a critical bottleneck and must be minimized subject to constraints on th...
194
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
229
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
Visual markers are widely used in existing augmented reality (AR) applications [7, 12, 11, 19]. In most of such applications, the performance of an AR system depends highly on the...
166
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Many techniques for association rule mining and feature selection require a suitable metric to capture the dependencies among variables in a data set. For example, metrics such as...