1018 search results - page 121 / 204 » Property Testing in Computational Geometry |
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In a wide range of applications the orientation of a rigid body does not need to be restricted to one given orientation, but can be given as a continuous set of frames. We addr...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
IMCSIT
2010
13 years 3 months ago
2010
In this paper, we have introduced a hierarchical object categorization method with automatic feature selection. A hierarchy obtained by natural similarities and properties is learn...
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
In this paper, we study the problem of how to generate synthetic graphs matching various properties of a real social network with two applications, privacy preserving social netwo...