1699 search results - page 55 / 340 » On the Expressive Power of QLTL |
94
Voted
ICC
2007
IEEE
15 years 7 months 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...
87
Voted
ISLPED
1996
ACM
15 years 4 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 ...
104
Voted
DAC
2009
ACM
15 years 4 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...
107
Voted
ICDT
2010
ACM
15 years 5 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...
146
Voted
BMCBI
2011
14 years 4 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...