Ponències/Comunicacions de congressos: Enviaments recents
Ara es mostren els items 13-24 de 334
-
Affirmative sampling: theory and applications
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022)
Text en actes de congrés
Accés obertAffirmative Sampling is a practical and efficient novel algorithm to obtain random samples of distinct elements from a data stream. Its most salient feature is that the size S of the sample will, on expectation, grow with ... -
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022)
Text en actes de congrés
Accés obertVanishing sums of roots of unity can be seen as a natural generalization of knapsack from Boolean variables to variables taking values over the roots of unity. We show that these sums are hard to prove for polynomial ... -
Relating real and synthetic social networks through centrality measures
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022)
Text en actes de congrés
Accés obertWe perform here a comparative study on the behaviour of real and synthetic social networks with respect to a selection of nine centrality measures. Some of them are topology based (degree, closeness, betweenness), while ... -
A human-in-the-loop approach based on explainability to improve NTL detection
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Text en actes de congrés
Accés obertImplementing systems based on Machine Learning to detect fraud and other Non-Technical Losses (NTL) is challenging: the data available is biased, and the algorithms currently used are black-boxes that cannot be either ... -
Decomposition of transition systems into sets of synchronizing state machines
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Comunicació de congrés
Accés obertTransition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is ... -
Towards a dynamic pipeline framework implemented in (parallel) Haskell
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Text en actes de congrés
Accés obertStreaming processing has given rise to new computation paradigms to provide effective and efficient data stream processing. The most important features of these new paradigms are the exploitation of parallelism, the capacity ... -
On bipartite sum basic equilibria
(Springer, 2021)
Text en actes de congrés
Accés obertA connected and undirected graph G of size n≥1 is said to be a sum basic equilibrium iff for every edge uv from G and any node v′ from G, when performing the swap of the edge uv for the edge uv′ the sum of the ... -
Forward and backward linear threshold ranks
(Association for Computing Machinery (ACM), 2021)
Text en actes de congrés
Accés obertWe propose the FwLTR and BwLTR, two new centrality measures based on the Linear Threshold model. In contrast to the Linear Threshold rank (LTR), these measures differentiate between the incoming and the outgoing neighborhoods ... -
An A*-algorithm for computing discounted anti-alignments in process mining
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Text en actes de congrés
Accés obertProcess mining techniques aim at analyzing and monitoring processes through event data. Formal models like Petri nets serve as an effective representation of the processes. A central question in the field is to assess the ... -
On the expressive power of homomorphism counts
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Text en actes de congrés
Accés obertA classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the number of homomorphisms from F to G coincides with the number of ... -
CC4Spark: Distributing event logs and big complex conformance checking problems
(CEUR-WS.org, 2021)
Text en actes de congrés
Accés obertConformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting anomalies and deviations in business processes, helping to assess and improve the quality of these. ... -
Improving the extraction of process annotations from text with inter-sentence analysis
(Springer, 2020)
Text en actes de congrés
Accés obertThe automatic extraction of formal process information from textual descriptions of processes is a challenging problem, but worth exploring, since it enables organizations to align complementary information that talks about ...