Sciweavers

3273 search results - page 145 / 655
» types 2007
Sort
View
JUCS
2007
117views more  JUCS 2007»
15 years 4 months ago
Connectivity and Reachability in Signed Networks
: For modeling real-life situations where not only the intensity of the relation existing between elements but also its polarity is important, we have proposed (see [Marcus and Tat...
Monica Tataram
JUCS
2007
120views more  JUCS 2007»
15 years 4 months ago
Hamiltonicity of Topological Grid Graphs
: In this paper we study connectivity and hamiltonicity properties of the topological grid graphs, which are a natural type of planar graphs associated with finite subgraphs of th...
Christina Zamfirescu, Tudor Zamfirescu
ACTA
2002
84views more  ACTA 2002»
15 years 4 months ago
Formal properties of XML grammars and languages
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
Jean Berstel, Luc Boasson
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 4 months ago
Causality and Counterfactuals in the Situation Calculus
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
Mark Hopkins, Judea Pearl
EJC
2000
15 years 4 months ago
The Generalized Baues Problem for Cyclic Polytopes I
Given an affine surjection of polytopes : P Q, the Generalized Baues Problem asks whether the poset of all proper polyhedral subdivisions of Q which are induced by the map has t...
Jörg Rambau, Francisco Santos