5607 search results - page 747 / 1122 » Graph structure in the Web |
227
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
160
click to vote
WOLLIC
2007
Springer
16 years 29 days ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
178
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...
193
click to vote
DSSCV
2005
Springer
16 years 11 days ago
2005
Springer
We show that the pre-symmetry set of a smooth surface in 3-space has the structure of the graph of a function from R2 to R2 in many cases of interest, generalising known results fo...
183
click to vote
IICS
2005
Springer
16 years 11 days ago
2005
Springer
We provide an approach to distribute the calculation of PageRank, by splitting the graph into its strongly connected components. As we prove, the global ranking may be calculated c...