8025 search results - page 1547 / 1605 » Combinators Introduction: An Algorithm |
154
click to vote
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
113
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
132
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
156
click to vote
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
126
click to vote
VLDB
2000
ACM
15 years 5 months ago
2000
ACM
Strict consistency of replicated data is infeasible or not required by many distributed applications, so current systems often permit stale replication, in which cached copies of ...