Sciweavers

1492 search results - page 181 / 299
» Testing Properties of Constraint-Graphs
Sort
View
JSC
2010
90views more  JSC 2010»
15 years 2 months ago
Modular Las Vegas algorithms for polynomial absolute factorization
Let f(X, Y ) ∈ Z[X, Y ] be an irreducible polynomial over Q. We give a Las Vegas absolute irreducibility test based on a property of the Newton polytope of f, or more precisely,...
Cristina Bertone, Guillaume Chèze, Andr&eac...
RAID
2010
Springer
15 years 2 months ago
Community Epidemic Detection Using Time-Correlated Anomalies
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...
Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken
SIMPAR
2010
147views Robotics» more  SIMPAR 2010»
15 years 2 months ago
Exploration Strategies for a Robot with a Continously Rotating 3D Scanner
To benchmark the efficiency of exploration strategies one has to use robot simulators. In an exploration task, the robot faces an unknown environment. Of course one could test the ...
Elena Digor, Andreas Birk, Andreas Nüchter
ICIP
2010
IEEE
15 years 2 months ago
Scanner identification using spectral noise in the frequency domain
As digital images have been propagated all over the world, identification techniques for image sources become more important. In this paper, we analyze properties of the scanner a...
Chang-Hee Choi, Min-Jeong Lee, Heung-Kyu Lee
PROPERTYTESTING
2010
15 years 2 months ago
Short Locally Testable Codes and Proofs: A Survey in Two Parts
We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to a...
Oded Goldreich