2377 search results - page 442 / 476 » Hybrid Systems in TLA |
111
click to vote
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we present an algorithm using dynamic texture synthesis for closed-loop video coding. Video textures, or so-called dynamic textures are video sequences with moving ...
116
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
103
Voted
MOC
2010
14 years 7 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
106
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
110
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...