1940 search results - page 248 / 388 » Graph Transformation with Variables |
132
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
128
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
101
click to vote
ISCAS
2006
IEEE
2006
IEEE
A novel approach to L2-sensitivity minimization of digital filters subject to L2-scaling constraints
15 years 10 months ago
Abstract— This paper proposes a novel approach to L2sensitivity minimization problem of state-space digital filters subject to L2-scaling constraints. The proposed approach redu...
150
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
120
click to vote
DCC
2010
IEEE
15 years 9 months ago
2010
IEEE
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...