551 search results - page 52 / 111 » Realizability of Real-Time Logics |
153
click to vote
ISMVL
2008
IEEE
16 years 8 days ago
2008
IEEE
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
148
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...
153
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Factoring is a logic minimization technique to represent a Boolean function in an equivalent function with minimum literals. When realizing the circuit, a function represented in ...
175
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Particle filtering is an approach to Bayesian estimation of intractable posterior distributions from time series signals distributed by non-Gaussian noise. A couple of variant par...
181
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...