8298 search results - page 1452 / 1660 » On the Complexity of Numerical Analysis |
188
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
232
click to vote
JDCTA
2010
15 years 1 months ago
2010
Granular Computing (GrC), a knowledge-oriented computing which covers the theory of fuzzy information granularity, rough set theory, the theory of quotient space and interval comp...
199
click to vote
JMLR
2010
15 years 1 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
180
click to vote
MIA
2010
15 years 1 months ago
2010
A number of analysis tools have been developed for the estimation of brain atrophy using MRI. Since brain atrophy is being increasingly used as a marker of disease progression in ...
213
click to vote
PAMI
2010
15 years 1 months ago
2010
The Earth Mover's Distance (EMD) is a similarity measure that captures perceptual difference between two distributions. Its computational complexity, however, prevents a direc...