24 search results - page 1 / 5 » Partial line directed hypergraphs |
NETWORKS
2002
13 years 9 months ago
2002
DAM
2002
13 years 9 months ago
2002
Directed hypergraphs are used to model networks whose nodes are connected by directed buses. We study in this paper two parameters related to the fault-tolerance of directed bus n...
PPOPP
2009
ACM
14 years 10 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
BMVC
2010
13 years 7 months ago
2010
We present a novel method for vision-based recovery of three-dimensional structures through simultaneous model reconstruction and camera position tracking from monocular images. O...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...