搜索结果: 1-4 共查到“计算机软件 interactive”相关记录4条 . 查询时间(0.087 秒)
第9届工程交互式计算系统研讨会（The 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems）
第9届 工程交互式计算系统 研讨会
font style='font-size:12px;'>
2017/6/21
Welcome to the website of the 9th Engineering Interactive Computing Systems (EICS) conference. EICS 2017 is the ninth international conference devoted to engineering usable and effective interactive c...
Generalized Selection via Interactive Query Relaxation
Selection annotation pointing reference information visualization input techniques query relaxation
font style='font-size:12px;'>
2016/5/24
Selection is a fundamental task in interactive applications,
typically performed by clicking or lassoing items of
interest. However, users may require more nuanced forms
of selection. Selecting reg...
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
font style='font-size:12px;'>
2016/5/24
Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of corre...
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram
Function Block Diagram Formal Verification Counter-example Visualization Verilog Translation Programmable Logic Controller Model Checking
font style='font-size:12px;'>
2014/3/11
Model checking is often applied to verify safety-critical software implemented in programmable logic controller (PLC) language such as a function block diagram (FBD). Counter-examples generated by a m...