135 search results - page 23 / 27 » Hardness of cut problems in directed graphs |
107
Voted
CCS
2009
ACM
16 years 10 days ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
77
Voted
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
115
click to vote
CONSTRAINTS
2006
14 years 11 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
130
click to vote
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
We describe a solution to the challenging problem of estimating human body shape from a single photograph or painting. Our approach computes shape and pose parameters of a 3D huma...
91
Voted
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...