3134 search results - page 199 / 627 » Computing full disjunctions |
118
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
136
Voted
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
129
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—We determine the linear precoding policy that maximizes the mutual information for general multiple-input multiple-output (MIMO) Gaussian channels with arbitrary input distribut...
130
Voted
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— An image sensor with focal plane based hardware acceleration of video compression is presented. The 90×90 pixel CMOS image sensor provides in-pixel processing of intensity cha...
151
Voted
ISMVL
2008
IEEE
15 years 10 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...