8228 search results - page 409 / 1646 » Structural Logical Relations |
154
click to vote
IIE
2006
15 years 6 months ago
2006
We identify aspects of computing competition formats as they relate to the purpose of these competitions, both stated and tacit. We consider the major international competitions
184
click to vote
TC
2008
15 years 6 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
135
click to vote
TSMC
2002
15 years 6 months ago
2002
An extended algorithm of the relative reward strength algorithm is proposed. It is shown that the proposed algorithm ensures the convergence with probability 1 to the optimal path ...
241
click to vote
ISAAC
2010
Springer
15 years 4 months ago
2010
Springer
We study line systems in metric spaces induced by graphs. A line is a subset of vertices defined by a relation of betweeness. We show that the class of all graphs having exactly k ...
153
Voted
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...