Filters








2,016 Hits in 4.2 sec

Stochastic-Aware Conformance Checking: An Entropy-Based Approach [chapter]

Sander J. J. Leemans, Artem Polyvyanyy
2020 Lecture Notes in Computer Science  
In [14], a framework for conformance checking approaches is proposed, which is instantiated using cardinalities and entropy.  ...  A Stochastic Petri net (SPN) is a tuple Stochastic-Aware Conformance Checking This section presents our new technique for stochastic-aware precision and recall measures, which computes these measures  ... 
doi:10.1007/978-3-030-49435-3_14 fatcat:egd3babphrb67nowpqj4yywoua

Model checking of Scenario-Aware Dataflow with CADP

B. Theelen, J-P Katoen, Hao Wu
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
To this end, we propose a compositional IMC semantics for SADF based on which the Construction and Analysis of Distributed Processes (CADP) tool suite enables model checking various properties.  ...  Application of our approach to an MPEG-4 decoder revealed state space reduction factors up to about 21 but also some limitations in terms of scalability and the performance properties that could be analysed  ...  Other model-based design approaches (e.g., [16] , [26] ) use Kahn Process Networks [20] to capture dynamism.  ... 
doi:10.1109/date.2012.6176552 dblp:conf/date/TheelenKW12 fatcat:xspknfeapff3zfr6z27gdby6we

Adaptive Process Simplification and Conformance Checking in Event Logs

Parham Porouhan, Wichian Premchaiswadi
2014 International Journal for e-Learning Security  
After applying the LTL checking approach, the deviations were detectedleading to enrich the real model.  ...  ., Discovery and Conformance Analysis) in order to discover models and organizational structures related to the handling of proceedings' peer reviews in an international conference in Thailand.  ...  It uses stochastic task graphs as an intermediate representation and it generates a workflow model described in the ADONIS modeling language.  ... 
doi:10.20533/ijels.2046.4568.2014.0052 fatcat:tzafhewp3nbwbhgtwl5au6rbrq

Automatic Fact-Checking Using Context and Discourse Information

Pepa Atanasova, Preslav Nakov, Lluís Màrquez, Alberto Barrón-Cedeño, Georgi Karadzhov, Tsvetomila Mihaylova, Mitra Mohtarami, James Glass
2019 Journal of Data and Information Quality  
We develop supervised systems based on neural networks, kernel-based support vector machines, and combinations thereof, which make use of rich input representations in terms of discourse cues and contextual  ...  We address two related tasks: (i) detecting check-worthy claims, and (ii) fact-checking claims.  ...  Classification Model Our model combines an LSTM-based neural network with kernel-based support vector machines.  ... 
doi:10.1145/3297722 dblp:journals/jdiq/AtanasovaNMBKMM19 fatcat:oqebhodchvd7faqwrdzzwwzsde

Efficient Space Exploration through Laziness [chapter]

Emil Vassev, Mike Hinchey
2013 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
We propose a behavior model based on some sort of "laziness" that helps spacecraft evaluate external instructions and eventually postpone their execution, or even discard some, when those are considered  ...  Awareness for EL In general, an EL-based system engages in interactions with the ground base on Earth and with its operational environment.  ...  In our approach the probability assessment is based on Markov Chains.  ... 
doi:10.1007/978-3-642-36642-0_17 fatcat:rcdtlsl2mrbjngchkaffx4enda

Integrated information system assessment of complex objects safety level

Tetiana Volodimirovna Kozulia, Mariia Mykhailovna Kozulia
2017 Bulletin of National Technical University KhPI Series System Analysis Control and Information Technologies  
Methodological support is based on theoretical knowledge in field of information entropy theory, synergetic, knowledge-oriented databases development; information space of integrating entities unity principles  ...  Practical implementation of the proposed informational and methodological approaches for complex systems study analysis on the entropy-information basis is shown on the results of quality and safety functioning  ...  The information and methodological support comprehensive analysis of the environmental safety of objects based on entropy and information awareness approaches of monitoring data.  ... 
doi:10.20998/2079-0023.2017.55.07 fatcat:wzymui4gzben3j5mkuujibwhme

2020 Index IEEE Transactions on Knowledge and Data Engineering Vol. 32

2021 IEEE Transactions on Knowledge and Data Engineering  
., +, TKDE Nov. 2020 2075-2087 Entropy-based Sampling Approaches for Multi-Class Imbalanced Problems.  ...  Xu, J., +, TKDE July 2020 1419-1430 Conformance testing Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings. van der Aa, H., +, TKDE May 2020 927-940 Constraint  ... 
doi:10.1109/tkde.2020.3038549 fatcat:75f5fmdrpjcwrasjylewyivtmu

Using the Maximum Entropy Principle to Combine Simulations and Solution Experiments

Andrea Cesari, Sabine Reißer, Giovanni Bussi
2018 Computation  
We here review the approaches that can be used to combine MD and experiment under the guidance of the maximum entropy principle.  ...  We mostly focus on methods based on Lagrangian multipliers, either implemented as reweighting of existing simulations or through an on-the-fly optimization.  ...  An approach based on a posteriori reweighting (Section 5.1) of replica-based simulations and named Bayesian inference of ensembles has been also proposed in order to eliminate the effect of choosing a  ... 
doi:10.3390/computation6010015 fatcat:mcya5wphnvdxppzjn6o32ek4x4

A Systematic Review of Recommendations of Long-Term Strategies for Researchers Using Data Science Techniques

Gilberto Ayala-Bastidas, Hector G. Ceballos, Francisco J. Cantu-Ortiz
2021 Computers  
The results show the need for studies that generate more specific recommendations based on data mining.  ...  The central objective is to identify data-oriented approaches to learn long-term research strategies, especially in process mining.  ...  [33] mentioned the possibility of predicting the next steps within an application using the conformance checking technique.  ... 
doi:10.3390/computers10030035 fatcat:5pr5mhceurhdhdvvcrhohyuzyq

Non-linear Fokker-Planck equations from conformal metrics and scalar curvature [article]

Nikolaos Kalogeropoulos
2019 arXiv   pre-print
$q$-entropy.  ...  We present an argument which intends to explore a potential geometric origin of a class of non-linear Fokker-Planck equations related to the mesoscopic behavior of systems conjecturally described by the  ...  There is also a more concrete way to establish non-linear Fokker-Planck equations pertinent to the q-entropy based on the geometry of (M, g).  ... 
arXiv:1911.06626v1 fatcat:wqlnzda4zzdy7iyfkmmljhywve

2020 Index IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 39

2020 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Liu, Y., +, TCAD Oct. 2020 2067-2080 Entropy Augmented Cross-Entropy-Based Joint Temperature Optimization of Real- Time 3-D MPSoC Systems.  ...  ., +, TCAD Oct. 2020 2925-2937 LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units.  ...  Entropy-Directed Scheduling for FPGA High-Level Synthesis. Shen, M., +, TCAD Oct. 2020 2588 -2601 FLASH: Fast, Parallel, and Accurate Simulator for HLS.  ... 
doi:10.1109/tcad.2021.3054536 fatcat:wsw3olpxzbeclenhex3f73qlw4

Entanglement Transition in the Projective Transverse Field Ising Model [article]

Nicolai Lang, Hans Peter Büchler
2020 arXiv   pre-print
Exploiting a map to bond percolation, we argue that the critical system in one dimension is described by a conformal field theory, and derive the universal scaling of the entanglement entropy and the critical  ...  In this paper, we study the projective transverse field Ising model, a stochastic model with two noncommuting projective measurements and no unitary dynamics.  ...  The numerical approach we leverage in this paper is based on an equivalent classical process that can be sampled more efficiently.  ... 
arXiv:2006.09748v2 fatcat:tich65d2dveitp5in5khwfrdsu

Correlation functions in conformal invariant stochastic processes

Francisco C Alcaraz, Vladimir Rittenberg
2015 Journal of Statistical Mechanics: Theory and Experiment  
In the stochastic base in which the process is defined, the Hamiltonian is not local anymore. The mapping into an SOS model, helps to define new local operators.  ...  We consider the problem of correlation functions in the stationary states of one-dimensional stochastic models having conformal invariance.  ...  the stochastic base.  ... 
doi:10.1088/1742-5468/2015/11/p11012 fatcat:s5ervmqzgreshni4ijjymhp55u

Particle filter-based information acquisition for robust plan recognition

L. Ronnie, M. Johansson, R. Suzic
2005 2005 7th International Conference on Information Fusion  
In our framework implementation, an essential part is the prioritization of sensing tasks, which is necessary to efficiently utilize limited sensing resources.  ...  By using the particle filter we can obtain more reliable state estimates (through the particle filter's ability to represent complex probability distributions) and also a statistically based threat variation  ...  The first approach is the medium value of each plan alternative that we denote π cg t−1 and the second approach is finding an estimate based on maximum entropy, π ent t−1 .  ... 
doi:10.1109/icif.2005.1591853 fatcat:bj3zy5d7knfe5ls2onpm6tdpsm

Automatic Validation of Textual Attribute Values in E-commerce Catalog by Learning with Limited Labeled Data [article]

Yaqing Wang, Yifan Ethan Xu, Xian Li, Xin Luna Dong, Jing Gao
2020 arXiv   pre-print
Although existing deep neural network models have shown success in conducting cross-checking between two pieces of texts, their success has to be dependent upon a large set of quality labeled data, which  ...  attribute values. (2) We propose to integrate meta learning and latent variable in a unified model to effectively capture the uncertainty of various categories. (3) We propose a novel objective function based  ...  More specifically, meta-Learning approaches can be broadly classified into three categories: optimization-based, model-based and metric-learning based models.  ... 
arXiv:2006.08779v3 fatcat:s37nllkjhvabfie76ribxyv7mu
« Previous Showing results 1 — 15 out of 2,016 results