22 search results - page 2 / 5 » Control reduction theories: the benefit of structural substi... |
CORR
2007
Springer
13 years 6 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
ECIS
2011
12 years 6 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
ICFP
2007
ACM
14 years 6 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
HYBRID
2004
Springer
13 years 11 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
ICIP
2007
IEEE
14 years 14 days ago
2007
IEEE
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...