新星
发表于 2025-3-23 14:48:25
http://reply.papertrans.cn/47/4626/462530/462530_12.png
提名
发表于 2025-3-23 21:22:40
Automata-Theoretic Techniques for Analyzing Infinite-State Systems interesting and challenging problems to automata theorists. In this talk, I will present some automata-theoretic and related techniques for analyzing various forms of restricted infinite-state systems in the areas of formal verification, e-services, and membrane systems.
友好关系
发表于 2025-3-23 23:07:07
http://reply.papertrans.cn/47/4626/462530/462530_14.png
Scintillations
发表于 2025-3-24 03:13:47
Minimal Unambiguous ,NFApartition and the principle of transition union. An algorithm for compactifying .NFA is presented that exploits the union principle. This algorithm has the following property: if the algorithm returns an unambiguous automaton, then this automaton is the transition minimal .NFA.
capillaries
发表于 2025-3-24 09:00:08
http://reply.papertrans.cn/47/4626/462530/462530_16.png
MULTI
发表于 2025-3-24 13:48:43
http://reply.papertrans.cn/47/4626/462530/462530_17.png
Omniscient
发表于 2025-3-24 17:30:50
Viral Gene Compression: Complexity and Verificationenome. An efficient algorithm for establishing this metric is given along with applications to real genomes including automated classification of viruses and prediction of horizontal gene transfer between host and virus.
柔软
发表于 2025-3-24 20:32:15
An Automata Approach to Match Gapped Sequence Tags Against Protein Database of amino acids whose masses total up to the value of the mass gap. In such a case, the standard string matching algorithm does not work any more. In this paper, we present a new efficient algorithm to find the matches of gapped sequence tags in a protein database.
窒息
发表于 2025-3-24 23:39:10
Conference proceedings 2005- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of
conjunctiva
发表于 2025-3-25 04:25:36
http://reply.papertrans.cn/47/4626/462530/462530_21.png