6120 search results - page 103 / 1224 » The Power of Linear Functions |
162
Voted
ICTAC
2007
Springer
16 years 27 days 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...
224
click to vote
GLOBECOM
2008
IEEE
16 years 1 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 ...
165
click to vote
ICPR
2010
IEEE
16 years 12 days 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...
158
click to vote
DAC
2001
ACM
16 years 7 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...
156
click to vote
DAC
2009
ACM
16 years 7 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...