188 search results - page 29 / 38 » What Is a Skeptical Proof |
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
TCS
2008
13 years 7 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
When comparing 2D shapes, a key issue is their normalization. Translation and scale are easily taken care of by removing the mean and normalizing the energy. However, defining and...
FORTE
2009
13 years 5 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
: We review the singular value decomposition (SVD) and discuss some lesser-known applications of it that we find particularly interesting. We also discuss generalizations of the S...