911 search results - page 164 / 183 » Kolmogorov Complexity Cores |
124
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
134
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...
115
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
127
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
111
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...