2373 search results - page 151 / 475 » On the Theory of Structural Subtyping |
150
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present an analytic and geometric view of the sample mean of graphs. The theoretical framework yields efficient subgradient methods for approximating a structural mean and ...
161
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
150
click to vote
ACS
2010
15 years 6 months ago
2010
For a quantale V, first a closure-theoretic approach to completeness and separation in V-categories is presented. This approach is then generalized to T-categories, where T is a to...
176
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...
287
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Signatures detect changes to the data objects. Numerous schemes a known, e.g., the popular hash based SHA-1 standard. We propose a nov scheme we call algebraic signatures. We use ...