2192 search results - page 28 / 439 » Embedded function composition |
EPEW
2006
Springer
15 years 1 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
MP
1998
14 years 11 months ago
1998
In recent years second-order sufficient conditions of an isolated local minimizer for convex composite optimization problems have been established. In this paper, second-order opt...
190
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
IFIPTCS
2000
15 years 3 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we propose a blind watermark detection scheme which is robust against composite geometric distortions. The composite geometric distortions mean that an image or a v...