61 search results - page 3 / 13 » acs 2010 |
ENTCS
2010
13 years 2 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Motivated by the work of Uehara et al. [1], an improved method to recover DC coefficients from AC coefficients of DCT-transformed images is investigated in this work, which finds ...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
We describe a robot that is able to autonomously plug itself in to standard, unmodified electrical outlets by sensing the 60Hz electric fields emitted from the outlet. The building...
APPROX
2010
Springer
13 years 6 months ago
2010
Springer
In 2002 Jackson et al. [JKS02] asked whether AC0 circuits augmented with a threshold gate at the output can be efficiently learned from uniform random examples. We answer this ques...
ACS
2010
13 years 5 months ago
2010
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, ...