-
1Academic Journal
المؤلفون: Yang Liu, Huadong Wang, Yan Ma
المصدر: Algorithms, Vol 17, Iss 5, p 210 (2024)
مصطلحات موضوعية: recurrent neural network, model abstraction, probabilistic finite automata, Particle Swarm Optimization, explanation, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95
-
2Academic Journal
المؤلفون: Bell, Paul C., Semukhin, Pavel
المساهمون: Paul C. Bell and Pavel Semukhin
مصطلحات موضوعية: Probabilistic finite automata, unary alphabet, emptiness problem, bounded ambiguity
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.15
-
3Conference
المؤلفون: Connes, Victor, De La Higuera, Colin, Le Capitaine, Hoel
المساهمون: Traitement Automatique du Langage Naturel (TALN ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Data User Knowledge (DUKe)
المصدر: International Conference on Grammatical Inference ; https://hal.archives-ouvertes.fr/hal-03434169 ; International Conference on Grammatical Inference, Aug 2021, Nantes, France
مصطلحات موضوعية: Open education, privacy data publishing, probabilistic finite automata, sequential data, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: hal-03434169; https://hal.archives-ouvertes.fr/hal-03434169; https://hal.archives-ouvertes.fr/hal-03434169/document; https://hal.archives-ouvertes.fr/hal-03434169/file/connes21a.pdf
-
4Academic Journal
المؤلفون: Bell, Paul C., Semukhin, Pavel
المساهمون: Paul C. Bell and Pavel Semukhin
مصطلحات موضوعية: Probabilistic finite automata, cutpoint isolation problem, letter-bounded context-free languages
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.22
-
5Academic Journal
المؤلفون: Bell, Paul C.
المساهمون: Paul C. Bell
مصطلحات موضوعية: Probabilistic finite automata, ambiguity, undecidability, bounded language, emptiness
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.105
-
6Academic Journal
المؤلفون: Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh
المساهمون: Rohit Chadha and A. Prasad Sistla and Mahesh Viswanathan
مصطلحات موضوعية: Probabilistic Finite Automata, Regular Languages, Ambiguity
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.14
-
7Academic Journal
المؤلفون: Kahn, David M.
المساهمون: David M. Kahn
مصطلحات موضوعية: Software-defined networking, NetKAT, ProbNetKAT, Undecidability, Probabilistic finite automata
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 83, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.68
-
8Academic Journal
المؤلفون: Gruner, Stefan, Krajnc, Dylan, Van Rooyen, Johan Pieter
مصطلحات موضوعية: Wireless sensor networks, WSN reliability, WSN integrity, WSN safety and security, WSN trustworthiness, Node replication attacks, Intrusion detection, Probabilistic finite automata, Randomised detection algorithm, Detection accuracy, Memory requirements, Wireless sensor network (WSN)
وصف الملف: application/pdf
Relation: Gruner, S, Krajnc, D., VanRooyen, J.P. 2022, 'Memory requirements for the detection of impostor nodes in wireless sensor networks', EPiC Series in Computing, vol. 85, pp. 36-47, doi : 10.29007/8ds7.; http://hdl.handle.net/2263/91095
-
9Conference
المؤلفون: Shur, A. M., YakaryIlmaz, A.
المصدر: Lect. Notes Comput. Sci. ; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
مصطلحات موضوعية: GENERALIZED FINITE AUTOMATA, PROBABILISTIC FINITE AUTOMATA, QUANTUM FINITE AUTOMATA, STOCHASTIC LANGUAGES, UNARY LANGUAGES, FINITE AUTOMATA, QUANTUM THEORY, BINARY ALPHABETS, COMPUTATIONAL MODEL, CUT-POINT, GENERALIZED FINITE AUTOMATON, REAL NUMBER, STOCHASTIC SYSTEMS
وصف الملف: application/pdf
Relation: Shur A. M. Quantum, stochastic, and pseudo stochastic languages with few states / A. M. Shur, A. YakaryIlmaz. — DOI 10.1007/978-3-319-08123-6_27 // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2014. — Vol. 8553 LNCS. — P. 327-339.; 3029743; Final; All Open Access, Green; https://www.scopus.com/inward/record.uri?eid=2-s2.0-84958545509&doi=10.1007%2f978-3-319-08123-6_27&partnerID=40&md5=3554fdcf20f34de17869118e2a7d0ca5; http://arxiv.org/pdf/1405.0055; http://elar.urfu.ru/handle/10995/102293; 84958545509
-
10Conference
المؤلفون: Higuera, Colin de la, Oncina, Jose
المساهمون: Universidad de Alicante. Departamento de Lenguajes y Sistemas Informáticos, Reconocimiento de Formas e Inteligencia Artificial
مصطلحات موضوعية: Most probable string, Probabilistic finite automata, Polynomial algorithm, Lenguajes y Sistemas Informáticos
Relation: info:eu-repo/grantAgreement/MICINN//TIN2009-14205-C04-C1; http://hdl.handle.net/10045/23421
الاتاحة: http://hdl.handle.net/10045/23421
-
11
المؤلفون: Gezer, Mehmet Utkan
المصدر: Language and Automata Theory and Applications
مصطلحات موضوعية: Multi-head finite automata, Probabilistic finite automata, Interactive proof systems, Article
-
12Academic Journal
المؤلفون: Edwards, David
مصطلحات موضوعية: Genomic relationship matrix, Multiset, Acyclic probabilistic finite automata, Haplotype sharing
-
13Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
المؤلفون: Zhipeng Zhang, Zhongxin Liu, Zengqiang Chen
المصدر: Asian Journal of Control. 21:2578-2586
مصطلحات موضوعية: 0209 industrial biotechnology, Probabilistic finite automata, Computer science, Stochastic behavior, 02 engineering and technology, Topology, Controllability, 020901 industrial engineering & automation, Mathematics (miscellaneous), Supervisory control, Control and Systems Engineering, Reachability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Electrical and Electronic Engineering, Computer Science::Databases, Computer Science::Formal Languages and Automata Theory, Matrix method
-
14
المصدر: 2019 IEEE 58th Conference on Decision and Control (CDC) IEEE Conference on Decision and Control. :6712-6717
مصطلحات موضوعية: AA-Diagnosability, Fault Diagnosis, Probabilistic Finite Automata, Hidden Markov Models, Failure analysis, Finite automata, Diagnosability, Finite number, Hard problems, Nondeterministic finite automaton, Partial observation, Stochastic settings, Underlying systems, Stochastic systems
وصف الملف: print
-
15Conference
المؤلفون: Lartillot, Olivier, Dubnov, Shlomo, Assayag, Gérard, Bejerano, Gill
المساهمون: Représentations musicales (Repmus), Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 8èmes Journées d'Informatique Musicale
https://hal.science/hal-01105887
8èmes Journées d'Informatique Musicale, Jun 2001, Bourges, France. pp.113-119مصطلحات موضوعية: Constraints, Loop, Redundancy, Quantization, Stochastic, Markov predictor, Musical Parameters, Lempel-Ziv (LZ), Probabilistic Finite Automata (PSA), Compression, Predition Suffix Tree (PST), Unsupervised learning, Musical style, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts
Relation: hal-01105887; https://hal.science/hal-01105887; https://hal.science/hal-01105887/document; https://hal.science/hal-01105887/file/ICMC.pdf
-
16Conference
المؤلفون: Lartillot, Olivier, Dubnov, Shlomo, Assayag, Gérard, Bejerano, Gill
المساهمون: Représentations musicales (Repmus), Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 8èmes Journées d'Informatique Musicale
https://hal.archives-ouvertes.fr/hal-01105887
8èmes Journées d'Informatique Musicale, Jun 2001, Bourges, France. pp.113-119مصطلحات موضوعية: Constraints, Loop, Redundancy, Quantization, Stochastic, Markov predictor, Musical Parameters, Lempel-Ziv (LZ), Probabilistic Finite Automata (PSA), Compression, Predition Suffix Tree (PST), Unsupervised learning, Musical style, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts
Relation: hal-01105887; https://hal.archives-ouvertes.fr/hal-01105887; https://hal.archives-ouvertes.fr/hal-01105887/document; https://hal.archives-ouvertes.fr/hal-01105887/file/ICMC.pdf
-
17Academic Journal
المؤلفون: Nederhof, Mark Jan, Satta, Giorgio
المصدر: Nederhof , M J & Satta , G 2008 , ' Computation of distances for regular and context-free probabilistic languages ' , Theoretical Computer Science , vol. 395 , no. 2-3 , pp. 235-254 . https://doi.org/10.1016/j.tcs.2008.01.010
مصطلحات موضوعية: Probabilistic context-free languages, Probabilistic finite automata, Probabilistic language distances, Language entropy, Kullback-Leibler divergence, Relative entropy, Models
وصف الملف: application/pdf
الاتاحة: https://risweb.st-andrews.ac.uk/portal/en/researchoutput/computation-of-distances-for-regular-and-contextfree-probabilistic-languages(b974c875-947d-4a23-a26f-e71ab60a58bb).html
https://doi.org/10.1016/j.tcs.2008.01.010
https://research-repository.st-andrews.ac.uk/bitstream/10023/1658/1/2008c.pdf
http://www.scopus.com/inward/record.url?scp=45849119469&partnerID=8YFLogxK -
18
المؤلفون: Mehmet Utkan Gezer
المصدر: Language and Automata Theory and Applications ISBN: 9783030406073
LATAمصطلحات موضوعية: 050101 languages & linguistics, Probabilistic finite automata, Image (category theory), 05 social sciences, 02 engineering and technology, Space (mathematics), Combinatorics, Probability of error, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Nondeterministic finite automaton, Constant (mathematics), Randomness, Mathematics
-
19
المؤلفون: Fuad E. Alsaadi, Wenhui Dou, Haitao Li
المصدر: Mathematical Problems in Engineering, Vol 2019 (2019)
مصطلحات موضوعية: 0209 industrial biotechnology, Article Subject, Computer science, General Mathematics, Structure (category theory), Mathematics::General Topology, 02 engineering and technology, Physics::Data Analysis, Statistics and Probability, Topology, Matrix (mathematics), 020901 industrial engineering & automation, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Probabilistic finite automata, lcsh:Mathematics, General Engineering, Probabilistic logic, 020207 software engineering, State (functional analysis), lcsh:QA1-939, Controllability, Mathematics::Logic, lcsh:TA1-2040, Product (mathematics), lcsh:Engineering (General). Civil engineering (General), Computer Science::Formal Languages and Automata Theory
وصف الملف: text/xhtml
-
20
المؤلفون: Zhipeng Zhang, Zengqiang Chen, Zhongxin Liu
المصدر: Science China Information Sciences. 61
مصطلحات موضوعية: Algebra, 0209 industrial biotechnology, Probabilistic finite automata, 020901 industrial engineering & automation, Tensor product, General Computer Science, Computer science, Reachability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 02 engineering and technology
Full Text Finder