2509 search results - page 371 / 502 » Abstract Geometrical Computation and Computable Analysis |
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
Abstract--A novel input and output biasing circuit to extend the input common mode (CM) voltage range and the output swing to rail-to-rail in a low voltage op-amp in standard CMOS ...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— Quickest detection is applied in the spectrum sensing of cognitive radio systems when multiple secondary users collaborate with limited communication time slots. When t...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—This paper proposes a low-complexity twodimensional channel estimator for MIMO-OFDM systems derived from a time-frequency variant channel estimator previously proposed. ...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—This paper presents Cramér-Rao bound-like inequalities for pose tracking, which is defined as the problem of recovering the robot displacement given two successive rea...