937 research outputs found
Rigid ball-polyhedra in Euclidean 3-space
A ball-polyhedron is the intersection with non-empty interior of finitely
many (closed) unit balls in Euclidean 3-space. One can represent the boundary
of a ball-polyhedron as the union of vertices, edges, and faces defined in a
rather natural way. A ball-polyhedron is called a simple ball-polyhedron if at
every vertex exactly three edges meet. Moreover, a ball-polyhedron is called a
standard ball-polyhedron if its vertex-edge-face structure is a lattice (with
respect to containment). To each edge of a ball-polyhedron one can assign an
inner dihedral angle and say that the given ball-polyhedron is locally rigid
with respect to its inner dihedral angles if the vertex-edge-face structure of
the ball-polyhedron and its inner dihedral angles determine the ball-polyhedron
up to congruence locally. The main result of this paper is a Cauchy-type
rigidity theorem for ball-polyhedra stating that any simple and standard
ball-polyhedron is locally rigid with respect to its inner dihedral angles.Comment: 11 pages, 2 figure
Two generalizations of Kohonen clustering
The relationship between the sequential hard c-means (SHCM), learning vector quantization (LVQ), and fuzzy c-means (FCM) clustering algorithms is discussed. LVQ and SHCM suffer from several major problems. For example, they depend heavily on initialization. If the initial values of the cluster centers are outside the convex hull of the input data, such algorithms, even if they terminate, may not produce meaningful results in terms of prototypes for cluster representation. This is due in part to the fact that they update only the winning prototype for every input vector. The impact and interaction of these two families with Kohonen's self-organizing feature mapping (SOFM), which is not a clustering method, but which often leads ideas to clustering algorithms is discussed. Then two generalizations of LVQ that are explicitly designed as clustering algorithms are presented; these algorithms are referred to as generalized LVQ = GLVQ; and fuzzy LVQ = FLVQ. Learning rules are derived to optimize an objective function whose goal is to produce 'good clusters'. GLVQ/FLVQ (may) update every node in the clustering net for each input vector. Neither GLVQ nor FLVQ depends upon a choice for the update neighborhood or learning rate distribution - these are taken care of automatically. Segmentation of a gray tone image is used as a typical application of these algorithms to illustrate the performance of GLVQ/FLVQ
Image segmentation using fuzzy LVQ clustering networks
In this note we formulate image segmentation as a clustering problem. Feature vectors extracted from a raw image are clustered into subregions, thereby segmenting the image. A fuzzy generalization of a Kohonen learning vector quantization (LVQ) which integrates the Fuzzy c-Means (FCM) model with the learning rate and updating strategies of the LVQ is used for this task. This network, which segments images in an unsupervised manner, is thus related to the FCM optimization problem. Numerical examples on photographic and magnetic resonance images are given to illustrate this approach to image segmentation
A Network Topology Approach to Bot Classification
Automated social agents, or bots, are increasingly becoming a problem on
social media platforms. There is a growing body of literature and multiple
tools to aid in the detection of such agents on online social networking
platforms. We propose that the social network topology of a user would be
sufficient to determine whether the user is a automated agent or a human. To
test this, we use a publicly available dataset containing users on Twitter
labelled as either automated social agent or human. Using an unsupervised
machine learning approach, we obtain a detection accuracy rate of 70%
Contact numbers for congruent sphere packings in Euclidean 3-space
Continuing the investigations of Harborth (1974) and the author (2002) we
study the following two rather basic problems on sphere packings. Recall that
the contact graph of an arbitrary finite packing of unit balls (i.e., of an
arbitrary finite family of non-overlapping unit balls) in Euclidean 3-space is
the (simple) graph whose vertices correspond to the packing elements and whose
two vertices are connected by an edge if the corresponding two packing elements
touch each other. One of the most basic questions on contact graphs is to find
the maximum number of edges that a contact graph of a packing of n unit balls
can have in Euclidean 3-space. Our method for finding lower and upper estimates
for the largest contact numbers is a combination of analytic and combinatorial
ideas and it is also based on some recent results on sphere packings. Finally,
we are interested also in the following more special version of the above
problem. Namely, let us imagine that we are given a lattice unit sphere packing
with the center points forming the lattice L in Euclidean 3-space (and with
certain pairs of unit balls touching each other) and then let us generate
packings of n unit balls such that each and every center of the n unit balls is
chosen from L. Just as in the general case we are interested in finding good
estimates for the largest contact number of the packings of n unit balls
obtained in this way.Comment: 18 page
Opaque Service Virtualisation: A Practical Tool for Emulating Endpoint Systems
Large enterprise software systems make many complex interactions with other
services in their environment. Developing and testing for production-like
conditions is therefore a very challenging task. Current approaches include
emulation of dependent services using either explicit modelling or
record-and-replay approaches. Models require deep knowledge of the target
services while record-and-replay is limited in accuracy. Both face
developmental and scaling issues. We present a new technique that improves the
accuracy of record-and-replay approaches, without requiring prior knowledge of
the service protocols. The approach uses Multiple Sequence Alignment to derive
message prototypes from recorded system interactions and a scheme to match
incoming request messages against prototypes to generate response messages. We
use a modified Needleman-Wunsch algorithm for distance calculation during
message matching. Our approach has shown greater than 99% accuracy for four
evaluated enterprise system messaging protocols. The approach has been
successfully integrated into the CA Service Virtualization commercial product
to complement its existing techniques.Comment: In Proceedings of the 38th International Conference on Software
Engineering Companion (pp. 202-211). arXiv admin note: text overlap with
arXiv:1510.0142
Rigidity and volume preserving deformation on degenerate simplices
Given a degenerate -simplex in a -dimensional space
(Euclidean, spherical or hyperbolic space, and ), for each , , Radon's theorem induces a partition of the set of -faces into two
subsets. We prove that if the vertices of the simplex vary smoothly in
for , and the volumes of -faces in one subset are constrained only to
decrease while in the other subset only to increase, then any sufficiently
small motion must preserve the volumes of all -faces; and this property
still holds in for if an invariant of
the degenerate simplex has the desired sign. This answers a question posed by
the author, and the proof relies on an invariant we discovered
for any -stress on a cell complex in . We introduce a
characteristic polynomial of the degenerate simplex by defining
, and prove that the roots
of are real for the Euclidean case. Some evidence suggests the same
conjecture for the hyperbolic case.Comment: 27 pages, 2 figures. To appear in Discrete & Computational Geometr
Noise-robust method for image segmentation
Segmentation of noisy images is one of the most challenging problems in image analysis and any improvement of segmentation methods can highly influence the performance of many image processing applications. In automated image segmentation, the fuzzy c-means (FCM) clustering has been widely used because of its ability to model uncertainty within the data, applicability to multi-modal data and fairly robust behaviour. However, the standard FCM algorithm does not consider any information about the spatial linage context and is highly sensitive to noise and other imaging artefacts. Considering above mentioned problems, we developed a new FCM-based approach for the noise-robust fuzzy clustering and we present it in this paper. In this new iterative algorithm we incorporated both spatial and feature space information into the similarity measure and the membership function. We considered that spatial information depends on the relative location and features of the neighbouring pixels. The performance of the proposed algorithm is tested on synthetic image with different noise levels and real images. Experimental quantitative and qualitative segmentation results show that our method efficiently preserves the homogeneity of the regions and is more robust to noise than other FCM-based methods
FSL-BM: Fuzzy Supervised Learning with Binary Meta-Feature for Classification
This paper introduces a novel real-time Fuzzy Supervised Learning with Binary
Meta-Feature (FSL-BM) for big data classification task. The study of real-time
algorithms addresses several major concerns, which are namely: accuracy, memory
consumption, and ability to stretch assumptions and time complexity. Attaining
a fast computational model providing fuzzy logic and supervised learning is one
of the main challenges in the machine learning. In this research paper, we
present FSL-BM algorithm as an efficient solution of supervised learning with
fuzzy logic processing using binary meta-feature representation using Hamming
Distance and Hash function to relax assumptions. While many studies focused on
reducing time complexity and increasing accuracy during the last decade, the
novel contribution of this proposed solution comes through integration of
Hamming Distance, Hash function, binary meta-features, binary classification to
provide real time supervised method. Hash Tables (HT) component gives a fast
access to existing indices; and therefore, the generation of new indices in a
constant time complexity, which supersedes existing fuzzy supervised algorithms
with better or comparable results. To summarize, the main contribution of this
technique for real-time Fuzzy Supervised Learning is to represent hypothesis
through binary input as meta-feature space and creating the Fuzzy Supervised
Hash table to train and validate model.Comment: FICC201
Pixel and Voxel Representations of Graphs
We study contact representations for graphs, which we call pixel
representations in 2D and voxel representations in 3D. Our representations are
based on the unit square grid whose cells we call pixels in 2D and voxels in
3D. Two pixels are adjacent if they share an edge, two voxels if they share a
face. We call a connected set of pixels or voxels a blob. Given a graph, we
represent its vertices by disjoint blobs such that two blobs contain adjacent
pixels or voxels if and only if the corresponding vertices are adjacent. We are
interested in the size of a representation, which is the number of pixels or
voxels it consists of.
We first show that finding minimum-size representations is NP-complete. Then,
we bound representation sizes needed for certain graph classes. In 2D, we show
that, for -outerplanar graphs with vertices, pixels are
always sufficient and sometimes necessary. In particular, outerplanar graphs
can be represented with a linear number of pixels, whereas general planar
graphs sometimes need a quadratic number. In 3D, voxels are
always sufficient and sometimes necessary for any -vertex graph. We improve
this bound to for graphs of treewidth and to
for graphs of genus . In particular, planar graphs
admit representations with voxels
- …