4218 search results - page 245 / 844 » Complete sets of cooperations |
106
click to vote
STACS
1991
Springer
15 years 4 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
116
click to vote
DLOG
1998
15 years 2 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
87
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
An overlap representation is an assignment of sets to the vertices of a graph in such a way that two vertices are adjacent if and only if the sets assigned to them overlap. The ov...
79
Voted
IPL
2008
15 years 23 days ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
116
Voted
IJRR
2010
14 years 10 months ago
2010
This paper presents the minimum-time sequences of rotations and translations that connect two configurations of a rigid body in the plane. The configuration of the body is its pos...