24 search results - page 1 / 5 » Partial line directed hypergraphs |
NETWORKS
2002
13 years 10 months ago
2002
DAM
2002
13 years 10 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 11 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 8 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 2 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...