English
Related papers

Related papers: Mining Shape Expressions with ShapeIt

200 papers

We present Montre, a monitoring tool to search patterns specified by timed regular expressions over real-time behaviors. We use timed regular expressions as a compact, natural, and highly-expressive pattern specification language for…

Formal Languages and Automata Theory · Computer Science 2019-02-13 Dogan Ulus

With the rapid expansion of applied 3D computational vision, shape descriptors have become increasingly important for a wide variety of applications and objects from molecules to planets. Appropriate shape descriptors are critical for…

Graphics · Computer Science 2019-01-10 Fereshteh S. Bashiri , Reihaneh Rostami , Peggy Peissig , Roshan M. D'Souza , Zeyun Yu

While text-conditional 3D object generation and manipulation have seen rapid progress, the evaluation of coherence between generated 3D shapes and input textual descriptions lacks a clear benchmark. The reason is twofold: a) the low quality…

Computer Vision and Pattern Recognition · Computer Science 2023-09-15 Andrea Amaduzzi , Giuseppe Lisanti , Samuele Salti , Luigi Di Stefano

The complexity of a system description is a function of the entropy of its symbolic description. Prior to computing the entropy of the system description, an observation scale has to be assumed. In natural language texts, typical scales are…

Information Theory · Computer Science 2015-03-31 Gerardo Febres , Klaus Jaffe

The use of machine learning is becoming increasingly common in computational materials science. To build effective models of the chemistry of materials, useful machine-based representations of atoms and their compounds are required. We…

Materials Science · Physics 2021-08-02 Luis M. Antunes , Ricardo Grau-Crespo , Keith T. Butler

In this paper, a feature extraction approach for the deformable linear object is presented, which uses a Bezier curve to represent the original geometric shape. The proposed extraction strategy is combined with a parameterization technique,…

Robotics · Computer Science 2023-12-29 Fangqing Chen

Traditional Cyber-physical Systems(CPSs) were not built with cybersecurity in mind. They operated on separate Operational Technology (OT) networks. As these systems now become more integrated with Information Technology (IT) networks based…

Cryptography and Security · Computer Science 2021-03-09 Ameerah-Muhsinah Jamil , Lotfi ben Othmane , Altaz Valani

We present ShapeVis, a scalable visualization technique for point cloud data inspired from topological data analysis. Our method captures the underlying geometric and topological structure of the data in a compressed graphical…

Machine Learning · Computer Science 2020-01-22 Nupur Kumari , Siddarth R. , Akash Rupela , Piyush Gupta , Balaji Krishnamurthy

Parameter identifiability describes whether, for a given differential model, one can determine parameter values from model equations. Knowing global or local identifiability properties allows construction of better practical experiments to…

Mathematical Software · Computer Science 2021-07-02 Ilia Ilmer , Alexey Ovchinnikov , Gleb Pogudin

The rules in a shape grammar apply in terms of embedding to take advantage of the parts that emerge visually in the appearance of shapes. While the shapes are kept unanalyzed as a computation moves forward, part-structures for shapes can be…

Formal Languages and Automata Theory · Computer Science 2022-03-15 Alexandros Haridis , George Stiny

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper…

Programming Languages · Computer Science 2017-01-31 Gurvan Le Guernic , Benoit Combemale , José A. Galindo

With the wide adoption of black-box models, instance-based \emph{post hoc} explanation tools, such as LIME and SHAP became increasingly popular. These tools produce explanations, pinpointing contributions of key features associated with a…

Artificial Intelligence · Computer Science 2021-06-30 Timen Stepišnik Perdih , Nada Lavrač , Blaž Škrlj

Technological advances are in part enabled by the development of novel manufacturing processes that give rise to new materials or material property improvements. Development and evaluation of new manufacturing methodologies is labor-,…

Materials Science · Physics 2022-05-10 Lara Kassab , Scott Howland , Henry Kvinge , Keerti Sahithi Kappagantula , Tegan Emerson

In this paper, we are revisiting pattern mining and especially itemset mining, which allows one to analyze binary datasets in searching for interesting and meaningful association rules and respective itemsets in an unsupervised way. While a…

Databases · Computer Science 2021-03-31 Tatiana Makhalova , Aleksey Buzmakov , Sergei O. Kuznetsov , Amedeo Napoli

Current point cloud processing algorithms do not have the capability to automatically extract semantic information from the observed scenes, except in very specialized cases. Furthermore, existing mesh analysis paradigms cannot be directly…

Computational Geometry · Computer Science 2018-10-26 Reed M. Williams , Horea T. Ilieş

Cyber-physical systems (CPSs) integrate cyber and physical components and enable them to interact with each other to meet user needs. The needs for CPSs span rich application domains such as healthcare and medicine, smart home, smart…

Software Engineering · Computer Science 2024-08-06 Dongming Jin , Shengxin Zhao , Zhi Jin , Xiaohong Chen , Chunhui Wang , Zheng Fang , Hongbin Xiao

Projections, or dimensionality reduction methods, are techniques of choice for the visual exploration of high-dimensional data. Many such techniques exist, each one of them having a distinct visual signature - i.e., a recognizable way to…

Human-Computer Interaction · Computer Science 2026-02-25 Alister Machado , Alexandru Telea , Michael Behrisch

Dictionary learning is a versatile method to produce an overcomplete set of vectors, called atoms, to represent a given input with only a few atoms. In the literature, it has been used primarily for tasks that explore its powerful…

Computer Vision and Pattern Recognition · Computer Science 2025-04-16 Alexander Köhler , Michael Breuß

Designing metamaterials that carry out advanced computations poses a significant challenge. A powerful design strategy splits the problem into two steps: First, encoding the desired functionality in a discrete or tight-binding model, and…

Mesoscale and Nanoscale Physics · Physics 2025-09-03 Sima Zahedi Fard , Paolo Tiso , Parisa Omidvar , Marc Serra-Garcia

Formal/symbolic semantics can provide canonical, rigid controllability and interpretability to sentence representations due to their \textit{localisation} or \textit{composition} property. How can we deliver such property to the current…

Computation and Language · Computer Science 2025-07-02 Yingji Zhang , Danilo S. Carvalho , André Freitas