374 search results - page 22 / 75 » IP = PSPACE using Error Correcting Codes |
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We describe a simple and intuitive policy gradient method for improving parametrized quadrocopter multi-flips by combining iterative experiments with information from a first...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dirty paper coding (DPC) refers to methods for pre-subtraction of known interference at the transmitter of a multiuser communication system. There are numerous applications for DPC...
APCCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—The quality of transmission is very important in digital communication. However, in non-deterministic environment or different transmission message signal, bit error rate of PCM...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Accurate self-localization capability is highly desirable in wireless sensor networks. A major problem in wireless sensor network localization is the flip ambiguity, w...