601 search results - page 68 / 121 » Simulation vs. Equivalence |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In orthogonal frequency-division multiplex access (OFDMA) systems, including uplink and downlink, the carrierfrequency offset (CFO) between the multiple transceivers introduces...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper addresses the problem of selecting contact locations for grasping objects in the presence of shape and contact location uncertainty. Focusing on two-dimensional plan...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
NOLISP
2007
Springer
14 years 3 months ago
2007
Springer
Classical objective criteria evaluate speech quality using one quantity which embed all possible kind of degradation. For speech denoising applications, there is a great need to d...
ASAP
2006
IEEE
14 years 3 months ago
2006
IEEE
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...