1699 search results - page 98 / 340 » On the Expressive Power of QLTL |
137
click to vote
ISCAS
2008
IEEE
16 years 17 days ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
143
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
As packet-switching interconnection networks replace buses and dedicated wires to become the standard on-chip interconnection fabric, reducing their power consumption has been ide...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: High-density microarray technology is increasingly applied to study gene expression levels on a large scale. Microarray experiments rely on several critical steps that...
138
click to vote
ICC
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— Ultra-Wideband (UWB) Geo-Regioning is an approach to localize UWB transmitters by means of their channel impulse responses. A received channel impulse response is assig...
154
click to vote
JACM
2000
15 years 6 months ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...