×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [10]
软件研究所 [9]
清华大学 [7]
计算技术研究所 [5]
沈阳自动化研究所 [5]
自动化研究所 [4]
更多...
内容类型
期刊论文 [45]
会议论文 [17]
其他 [3]
学位论文 [3]
发表日期
2022 [1]
2018 [2]
2017 [4]
2016 [6]
2015 [4]
2014 [3]
更多...
学科主题
Computer S... [1]
Computer S... [1]
Physics [1]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共68条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Instance GNN: A Learning Framework for Joint Symbol Segmentation and Recognition in Online Handwritten Diagrams
期刊论文
IEEE TRANSACTIONS ON MULTIMEDIA, 2022, 卷号: 24, 页码: 2580-2594
作者:
Yun, Xiao-Long
;
Zhang, Yan-Ming
;
Yin, Fei
;
Liu, Cheng-Lin
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2022/07/25
Handwriting recognition
Task analysis
Grammar
Semantics
Image segmentation
Trajectory
Text recognition
Online handwritten diagram recognition
symbol segmentation
symbol recognition
freehand sketch analysis
graph neural networks
Virtual simulation technology of 3D obstacle avoidance algorithm for AUV
会议论文
Hohhot, China, October 22-24, 2018
作者:
Gao L(高雷)
;
Gao, Wang
;
Gu HT(谷海涛)
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2018/12/01
Virtual simulation technology
sonar imaging simulation
sonar physical model
3D obstacle avoidance algorithm
CSE: Parallel Finite State Machines with Convergence Set Enumeration
会议论文
2018 51ST ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2018-01-01
作者:
Zhuo, Youwei
;
Cheng, Jinglei
;
Luo, Qinyi
;
Zhai, Jidong
;
Wang, Yanzhi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Computer architecture
Cutting
Finite automata
Leakage currents
Particle accelerators
State assignment
Convergence properties
Data dependencies
Hardware implementations
Parallelism
Software and hardwares
Specific state
Speculation
State transitions
Reachability in Fuzzy Game Graphs
期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Dechao
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
Fuzzy automaton
fuzzy logic
fuzzy transition system (FTS)
game graph
reachability
DISCRETE-EVENT SYSTEMS
COMPUTATION TREE LOGIC
OMEGA-REGULAR GAMES
MODEL CHECKING
TRANSITION-SYSTEMS
SUPERVISORY CONTROL
FINITE AUTOMATA
MOBILE ROBOT
APPROXIMATION
SIMULATION
Nondeterministic fuzzy automata with membership values in complete residuated lattices
期刊论文
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Ping
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
Fuzzy automaton
Complete residuated lattice
Heyting algebra
Language equivalence
Formal verification
DISCRETE-EVENT SYSTEMS
TRANSITION-SYSTEMS
FINITE AUTOMATA
CATEGORICAL APPROACH
SUPERVISORY CONTROL
LOGIC
SIMULATION
WORDS
MODEL
BISIMULATIONS
Clock finite state automata model and its evolution algorithm
期刊论文
Computer Engineering and Science, 2017, 卷号: Vol.39 No.2, 页码: 378-384
作者:
Fan Linjun
;
Shi Xiangning
;
Ling Yunxiang
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/31
computer application
distributed systems
clock consistency evolution
factors quantification analysis
finite state automata
formal methods
Matrix Approach to Detectability of Discrete Event Systems under Partial Observation
会议论文
13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20, 2017 - August 23, 2017
作者:
Han, Xiaoguang*
;
Chen, Zengqiang
;
Zhao, Jiemei
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/27
Discrete event systems (DESs)
finite automata
state estimation
detectability
semi-tensor product (STP) of matrices
SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis
期刊论文
NATURAL LANGUAGE ENGINEERING, 2016, 卷号: 22, 期号: 2, 页码: 291-319
作者:
Hao, Shudong
;
Xu, Yanyan
;
Ke, Dengfeng
;
Su, Kaile
;
Peng, Hengli
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2016/06/14
Automatic Essay Scoring
Latent Semantic Analysis
SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis
期刊论文
NATURAL LANGUAGE ENGINEERING, 2016, 卷号: 22, 期号: 2, 页码: 291-319
作者:
Hao, Shudong
;
Xu, Yanyan
;
Ke, Dengfeng
;
Su, Kaile
;
Peng, Hengli
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2020/10/27
Automatic Essay Scoring
Latent Semantic Analysis
Finite automata approach to observability of switched Boolean control networks
期刊论文
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197
作者:
Zhang, Kuize
;
Zhang, Lijun
;
Xie, Lihua
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/07/30
Switched Boolean control network
Observability
Weighted pair graph
Finite automaton
Formal language
Semi-tensor product of matrices
©版权所有 ©2017 CSpace - Powered by
CSpace