2452 search results - page 204 / 491 » On Reduction of Lagrange Systems |
190
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
187
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We study the complexity of rewrite systems shown terminating via the dependency pair framework using processors for reduction pairs, dependency graphs, or the subterm criterion. T...
196
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
244
click to vote
CC
2010
Springer
15 years 1 months ago
2010
Springer
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...
155
click to vote
TVCG
2012
13 years 9 months ago
2012
We describe a unified framework for generating a single high-quality still image (“snapshot”) from a short video clip. Our system allows the user to specify the desired opera...