Sciweavers

1648 search results - page 159 / 330
» On the generation of bicliques of a graph
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
13 years 10 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
COMBINATORICS
1999
80views more  COMBINATORICS 1999»
13 years 9 months ago
On the Theory of Pfaffian Orientations. I. Perfect Matchings and Permanents
Kasteleyn stated that the generating function of the perfect matchings of a graph of genus g may be written as a linear combination of 4g Pfaffians. Here we prove this statement. ...
Anna Galluccio, Martin Loebl
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 9 months ago
Parallel Chip Firing Game associated with n-cube orientations
We study the cycles generated by the chip firing game associated with n-cube orientations. We show the existence of the cycles generated by parallel evolutions of even lengths fro...
René Ndoundam, Maurice Tchuente, Claude Tad...
RSA
2010
118views more  RSA 2010»
13 years 8 months ago
Weight of a link in a shortest path tree and the Dedekind Eta function
The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generatin...
Piet Van Mieghem
TMM
2010
253views Management» more  TMM 2010»
13 years 4 months ago
Multi-View Video Summarization
Previous video summarization studies focused on monocular videos, and the results would not be good if they were applied to multi-view videos directly, due to problems such as the ...
Yanwei Fu, Yanwen Guo, Yanshu Zhu, Feng Liu, Chuan...