228 search results - page 39 / 46 » Synthesis from Production-Based Specifications |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
BMCBI
2010
13 years 8 months ago
2010
Background: Prostaglandin H2 (PGH2) is a common precursor for the synthesis of five different Prostanoids via specific Prostanoid Synthases. The binding of this substrate with the...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Variation in object shape is an important visual cue for deformable object recognition and classification. In this paper, we present an approach to model gradual changes in the ?-...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and synthesizing figure motion has employed eit...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...