18209 search results - page 372 / 3642 » Some Remarks on the Paper |
155
click to vote
COLING
2002
15 years 6 months ago
2002
In this paper, we present a rich semantic network based on a differential analysis. We then detail implemented measures that take into account common and differential features bet...
155
click to vote
COMCOM
2002
15 years 6 months ago
2002
Multicast routing algorithms that are capable of providing quality of service (QoS) to its members will play an important role in future communication networks. This paper discuss...
156
click to vote
DCG
2000
15 years 6 months ago
2000
This paper examines directed graphs related to convex polytopes. For each fixed d-polytope and any acyclic orientation of its graph, we prove there exist both convex and concave fu...
163
click to vote
DM
2002
15 years 6 months ago
2002
Some recent results provide su cient conditions for complete lattices of closure operators on complete lattices, ordered pointwise, to be pseudocomplemented. This paper gives resu...
142
Voted
JSYML
2000
15 years 6 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...