3384 search results - page 283 / 677 » More Testable Properties |
163
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper deals with visual servoing from three points. Using the geometric properties of the spherical projection of points, a new decoupled set of six visual features is pro...
121
click to vote
IPL
2010
15 years 5 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
163
click to vote
JAT
2010
15 years 5 months ago
2010
Sampling and reconstruction of generic multivariate functions is more efficient on non-Cartesian root lattices, such as the BCC (Body-Centered Cubic) lattice, than on the Cartesia...
141
click to vote
TOPLAS
2008
15 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
167
click to vote
JSC
2010
15 years 5 months ago
2010
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,...