6120 search results - page 103 / 1224 » The Power of Linear Functions |
133
click to vote
ICTAC
2007
Springer
15 years 11 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
186
click to vote
GLOBECOM
2008
IEEE
15 years 12 months ago
2008
IEEE
—We consider the problem of joint routing, scheduling and power control in multi-hop wireless networks. We use a linear relation between link capacity and signal to interference ...
133
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
143
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits with an emphasis on po...
135
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
In this work, we present a new optical routing framework, O-Router for future low-power on-chip optical interconnect integration utilizing silicon compatible nano-photonic devices...