3885 search results - page 537 / 777 » Transformations for Write-All-with-Collision Model |
246
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
195
click to vote
ICIAR
2005
Springer
16 years 18 days ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
167
click to vote
ISW
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We propose a one-round 1-out-of-n computationally-private information retrieval protocol for -bit strings with low-degree polylogarithmic receivercomputation, linear send...
190
click to vote
LPAR
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
206
click to vote
SERA
2005
Springer
16 years 17 days ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...