5592 search results - page 321 / 1119 » On Random Betweenness Constraints |
127
click to vote
TODAES
2008
15 years 6 months ago
2008
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
175
click to vote
ACL
2010
15 years 4 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
158
click to vote
DLOG
2010
15 years 4 months ago
2010
We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in con...
191
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
163
click to vote
IJIS
2010
15 years 3 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...