1699 search results - page 55 / 340 » On the Expressive Power of QLTL |
162
click to vote
ICC
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— Exact-form results are presented for integrals involving higher-order power of the one dimensional Gaussian Q-function over identical and nonidentically distributed mul...
133
Voted
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents an accurate model for the evaluation of the CMOS short-circuit power dissipation for shortchannel devices, on the basis of a CMOS inverter. The improvement of ...
155
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...
175
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
In XML data exchange, a schema mapping specifies rules for restructuring a source document under the target schema, and queries over the target document must be answered in a way...
217
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...