找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Implementation and Application of Automata; 15th International C Michael Domaratzki,Kai Salomaa Conference proceedings 2011 Springer Berlin

[复制链接]
查看: 48114|回复: 64
发表于 2025-3-21 16:52:03 | 显示全部楼层 |阅读模式
书目名称Implementation and Application of Automata
副标题15th International C
编辑Michael Domaratzki,Kai Salomaa
视频video
概述unique visibility, state-of-the-art survey,.fast-track conference proceedings
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Implementation and Application of Automata; 15th International C Michael Domaratzki,Kai Salomaa Conference proceedings 2011 Springer Berlin
描述This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
出版日期Conference proceedings 2011
关键词algebra; automata kernels; complexity; finite automata; finite-state machines; formal languages; games; gra
版次1
doihttps://doi.org/10.1007/978-3-642-18098-9
isbn_softcover978-3-642-18097-2
isbn_ebook978-3-642-18098-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer Berlin Heidelberg 2011
The information of publication is updating

书目名称Implementation and Application of Automata影响因子(影响力)




书目名称Implementation and Application of Automata影响因子(影响力)学科排名




书目名称Implementation and Application of Automata网络公开度




书目名称Implementation and Application of Automata网络公开度学科排名




书目名称Implementation and Application of Automata被引频次




书目名称Implementation and Application of Automata被引频次学科排名




书目名称Implementation and Application of Automata年度引用




书目名称Implementation and Application of Automata年度引用学科排名




书目名称Implementation and Application of Automata读者反馈




书目名称Implementation and Application of Automata读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:42:09 | 显示全部楼层
发表于 2025-3-22 01:52:41 | 显示全部楼层
Large-Scale Training of SVMs with Automata Kernels,achines used with sequence kernels that is purely based on weighted automata and transducer algorithms, without requiring any specific solver. The algorithms presented apply to a family of kernels covering all those commonly used in text and speech processing or computational biology. We show that t
发表于 2025-3-22 08:00:25 | 显示全部楼层
发表于 2025-3-22 11:09:35 | 显示全部楼层
发表于 2025-3-22 13:41:51 | 显示全部楼层
Finite Automata for Generalized Approach to Backward Pattern Matching,ass of problems. We describe a finite automaton for the basic pattern matching problem of finding an exact occurrence of one string in a text. We propose a mechanism to use simple operations over finite automata in a systematic approach to derive automata for solving problems from a defined class, s
发表于 2025-3-22 18:52:55 | 显示全部楼层
发表于 2025-3-23 01:14:12 | 显示全部楼层
From Sequential Extended Regular Expressions to NFA with Symbolic Labels, enable the reuse of traditional verification techniques, it is necessary to translate SEREs into automata. SERE are regular expressions built over alphabets resulting from the state variables of the design under analysis. Thus, a traditional approach to generate the automaton would suffer from the
发表于 2025-3-23 04:07:57 | 显示全部楼层
发表于 2025-3-23 07:39:38 | 显示全部楼层
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract),009 we presented in [6] a (polynomial time) decision algorithm to decide regularity of the hairpin completion. In this paper we provide four new results: 1.) We show that the decision problem is .-complete. 2.) There is a polynomial time decision algorithm which runs in time ., this improves [6], wh
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-24 12:30
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表