1115 search results - page 32 / 223 » Separating Shape Graphs |
108
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
78
Voted
MP
2010
14 years 9 months ago
2010
Abstract; Dedicated to Alan J. Hoffman Ball et al. propose a graph model for material compatibility constraints for products such as PCs made from components, where each componen...
82
Voted
COMBINATORICS
2000
14 years 10 months ago
2000
To each coherent configuration (scheme) C and positive integer m we associate a natural scheme C(m) on the m-fold Cartesian product of the point set of C having the same automorph...
WADS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
119
Voted
CVPR
2012
IEEE
13 years 1 months ago
2012
IEEE
We propose a system for the automatic segmentation of novelties from the background in scenarios where multiple images of the same environment are available e.g. obtained by weara...