5084 search results - page 930 / 1017 » Proving Possibility Properties |
114
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...
132
click to vote
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
134
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
124
click to vote
ISAAC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. A fundamental problem in computational biology is the determination of the correct species tree for a set of taxa given a set of possibly contradictory gene trees. In rec...
134
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
We consider the problem of finding association rules that make nearly optimal binary segmentations of huge categorical databases. The optimality of segmentation is defined by an o...