3885 search results - page 537 / 777 » Transformations for Write-All-with-Collision Model |
229
click to vote
ICCS
2005
Springer
16 years 3 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...
175
click to vote
ICIAR
2005
Springer
16 years 3 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...
156
click to vote
ISW
2005
Springer
16 years 3 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...
170
Voted
LPAR
2005
Springer
16 years 3 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...
186
click to vote
SERA
2005
Springer
16 years 2 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...