925 search results - page 88 / 185 » Connectivity on Complete Lattices |
176
click to vote
WEBDB
2010
Springer
15 years 11 months ago
2010
Springer
Wikipedia infoboxes is an example of a seemingly structured, yet extraordinarily heterogeneous dataset, where any given record has only a tiny fraction of all possible fields. Su...
167
Voted
PODC
1999
ACM
15 years 10 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
174
click to vote
DCOSS
2006
Springer
15 years 9 months ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...
140
click to vote
ACS
2006
15 years 6 months ago
2006
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...
163
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...