Results 1 to 10 of about 765,008 (125)
The Extended Edit Distance Metric [PDF]
, 2007 Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers recently, since it reduces the dimensionality of these high dimensional data
Fuad, Muhammad Marwan Muhammad +1 more
core +2 more sources
Clustering of modal-valued symbolic data [PDF]
Advances in Data Analysis and Classification, 2020 Symbolic Data Analysis is based on special descriptions of data - symbolic objects (SO). Such descriptions preserve more detailed information about units and their clusters than the usual representations with mean values. A special kind of symbolic object is a representation with frequency or probability distributions (modal values).
Nataša Kejžar +2 more
openaire +2 more sources
Rethinking Pointer Reasoning in Symbolic Execution [PDF]
, 2017 Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of
Coppa, Emilio +2 more
core +1 more source
Quantifying Information Leaks Using Reliability Analysis [PDF]
, 2014 acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic
d Amorim, M +4 more
core +1 more source
AI Feynman: a Physics-Inspired Method for Symbolic Regression
, 2020 A core challenge for both physics and artificial intellicence (AI) is symbolic regression: finding a symbolic expression that matches data from an unknown function.
Tegmark, Max, Udrescu, Silviu-Marian
core +1 more source
Fuzzy-Symbolic Analysis for Classification of Symbolic Data [PDF]
, 2005 A recent study on symbolic data analysis literature reveals that symbolic distance measures are playing a major role in solving the pattern recognition and analysis problems. After a careful study on the existing symbolic distance measures, we have identified that most of the existing symbolic distance measures either suffer from generalization or do ...
M. S. Dinesh +2 more
openaire +1 more source
Robot Navigation in Unseen Spaces using an Abstract Map
, 2020 Human navigation in built environments depends on symbolic spatial information which has unrealised potential to enhance robot navigation capabilities.
Corke, Peter +3 more
core +1 more source
ToyArchitecture: Unsupervised Learning of Interpretable Models of the World
, 2020 Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are usually uncomputable, incompatible with theories of biological intelligence ...
Andersson, Simon +12 more
core +1 more source
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system [PDF]
, 2007 Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion Laboratory, takes a goal-based control ...
Braman, Julia M. B. +2 more
core +1 more source
Dynamic symbolic data structure repair [PDF]
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, 2010 Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a wide variety of assertions and not all of them satisfy the style rules imposed by existing repair techniques.
Ishtiaque Hussain, Christoph Csallner
openaire +1 more source