Results 11 to 20 of about 685,496 (293)
Symbolic Analysis for Data Plane Programs Specialization
ACM Transactions on Architecture and Code Optimization, 2022 Programmable network data planes have extended the capabilities of packet processing in network devices by allowing custom processing pipelines and agnostic packet processing. While a variety of applications can be implemented on current programmable data planes, there are significant constraints due to hardware limitations.
Thomas Luinaud +2 more
openaire +2 more sources
A Logic for Constraint-based Security Protocol Analysis [PDF]
, 2006 We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core +5 more sources
An adaptation of COBWEB for symbolic data case
Statistica, 2015 The paper proposes an extension for well-known COBWEB algorithm for different symbolic variable types. This extension allows to apply symbolic variables for category utility evaluation.
Marcin Pełka
doaj +1 more source
Interstatis: el método statis para datos de tipo intervalo
Revista de Matemática: Teoría y Aplicaciones, 2014 El método STATIS, propuesto por L’Hermier des Plantes y Escoufier, se utiliza para analizar múltiples tablas de datos en las cuales es muy fre- cuente que cada una de la tablas tenga información referente al mismo conjunto de individuos.
David Corrales, Oldemar Rodríguez
doaj +1 more source
New models for symbolic data analysis
Advances in Data Analysis and Classification, 2022 AbstractSymbolic data analysis (SDA) is an emerging area of statistics concerned with understanding and modelling data that takes distributional form (i.e. symbols), such as random lists, intervals and histograms. It was developed under the premise that the statistical unit of interest is the symbol, and that inference is required at this level.
Boris Beranger, Huan Lin, Scott Sisson
openaire +3 more sources
Linear regression for numeric symbolic variables: an ordinary least squares approach based on Wasserstein Distance [PDF]
, 2012 In this paper we present a linear regression model for modal symbolic data. The observed variables are histogram variables according to the definition given in the framework of Symbolic Data Analysis and the parameters of the model are estimated using ...
A Irpino +19 more
core +1 more source
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers [PDF]
, 2015 © 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races.
Deligiannis, P +2 more
core +1 more source
Entropy, 2019 The center method, which was first proposed in Rev. Stat. Appl. 1997 by Cazes et al. and Stat. Anal. Data Mining 2011 by Douzal-Chouakria et al., extends the well-known Principal Component Analysis (PCA) method to particular types of symbolic objects ...
Jorge Arce Garro +1 more
doaj +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
Estimating good discrete partitions from observed data: symbolic false nearest neighbors [PDF]
, 2003 A symbolic analysis of observed time series data requires making a discrete partition of a continuous state space containing observations of the dynamics.
E. M. Bollt +9 more
core +1 more source