Sciweavers

1018 search results - page 121 / 204
» Property Testing in Computational Geometry
Sort
View
ICRA
2009
IEEE
81views Robotics» more  ICRA 2009»
15 years 10 months ago
Representing sets of orientations as convex cones
— 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...
Pål Johan From, Jan Tommy Gravdahl
122
Voted
LICS
2008
IEEE
15 years 10 months ago
An Algebraic Process Calculus
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...
Emmanuel Beffara
139
Voted
IMCSIT
2010
14 years 10 months ago
Hierarchical Object Categorization with Automatic Feature Selection
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...
Md. Saiful Islam, Andrzej Sluzek
VLSID
2002
IEEE
83views VLSI» more  VLSID 2002»
16 years 4 months ago
Identifying Redundant Wire Replacements for Synthesis and Verification
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
Katarzyna Radecka, Zeljko Zilic
119
Voted
SDM
2009
SIAM
113views Data Mining» more  SDM 2009»
16 years 26 days ago
Graph Generation with Prescribed Feature Constraints.
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...
Xiaowei Ying, Xintao Wu