936 search results - page 63 / 188 » The Synthesis Problem of Netcharts |
124
click to vote
AMFG
2005
IEEE
15 years 9 months ago
2005
IEEE
Pose variations, especially large out-of-plane rotations, make face recognition a difficult problem. In this paper, we propose an algorithm that uses a single input image to accura...
118
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
137
click to vote
TOG
2008
15 years 3 months ago
2008
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
103
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
105
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper addresses two problems related to disjointsupport decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results...