4340 search results - page 431 / 868 » Formal Methods and Cryptography |
169
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
164
click to vote
TSP
2010
15 years 1 months ago
2010
This paper proposes a new estimation procedure for the ambiguity function of a non-stationary time series. The stochastic properties of the empirical ambiguity function calculated...
144
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...
202
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
169
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...