3244 search results - page 380 / 649 » On convex complexity measures |
161
click to vote
AAAI
1990
15 years 7 months ago
1990
In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses si...
156
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
185
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
192
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
There are few visualization techniques for displaying complex software systems with large numbers of packages and classes. One visualization technique is the System Hotspots View,...
158
Voted
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Subspace tracking methods are widespread in signal and image processing. To reduce the influence of perturbations or outliers on the measurements, some authors have used a stocha...