Sciweavers

2063 search results - page 91 / 413
» connection 2007
Sort
View
COCOA
2007
Springer
15 years 5 months ago
Steiner Forests on Stochastic Metric Graphs
We consider the problem of connecting given vertex pairs over a stochastic metric graph, each vertex of which has a probability of presence independently of all other ver
Vangelis Th. Paschos, Orestis Telelis, Vassilis Zi...
CIE
2007
Springer
15 years 3 months ago
Multi-valued Logics, Effectiveness and Domains
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
Giangiacomo Gerla
95
Voted
CORR
2007
Springer
114views Education» more  CORR 2007»
14 years 11 months ago
A Sequent Calculus for Modelling Interferences
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
Christophe Fouqueré
DM
2007
97views more  DM 2007»
14 years 11 months ago
Recognizing Cartesian products in linear time
We present an algorithm that determines the prime factors of connected graphs with respect to the Cartesian product in linear time and space. This improves a result of Aurenhammee...
Wilfried Imrich, Iztok Peterin
DM
2007
101views more  DM 2007»
14 years 11 months ago
Threshold graphs, shifted complexes, and graphical complexes
We consider a variety of connections between threshold graphs, shifted complexes, and simplicial complexes naturally formed from a graph. These graphical complexes include the inde...
Caroline J. Klivans