1174 search results - page 80 / 235 » Derivation of Characteristic Formulae |
225
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
126
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
151
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
−−−− The simultaneous localization and mapping (SLAM) with detection and tracking of moving objects (DATMO) problem is not only to solve the SLAM problem in dynamic environ...
119
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
110
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper will present a practical and complete analysis of timing-mismatch effects for high-speed Analog Front-End (AFE) systems with the inherent nonuniformly holding outputs. ...