搜索结果: 1-9 共查到“计算机科学技术 formal”相关记录9条 . 查询时间(0.047 秒)
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
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...
Biologically inspired distributed machine cognition:a new formal approach to hyperparallel computation
bandpass cognition directed homotopy parallel computing rate distortion topology
2015/7/29
The irresistable march toward multiple-core chip technology presents currently intractable pdrogramming challenges. High level mental processes in many animals, and their analogs for social structures...
Graphics and Language as Complementary Formal Representations for Geospatial Descriptions
Abstraction Spatial Analysis Knowledge Representation
2015/7/6
In image understanding, the importance of language (e.g. the choice of class names in image analysis) has been widely
underestimated up to now. Within this paper, the close interaction between langua...
Using Formal Methods to Verify Transactional Abstract Concurrency Control
Transactional Memory Formal Verification SAT
2014/12/18
Concurrent application design and implementation is more important than ever in today's multi-core processor world. Transactional Memory (TM) Concurrent application design and implementation is more i...
Emergency Tasks Planning Based on Formal Modeling of Emergency Plan and HTN Planning System SHOP2
Emergency Plan Workflow Model HTN Planning System SHOP2 Emergency Task
2012/11/30
A theoretical approach of ordered emergency tasks generation is proposed for dealing with a specific emergency event rapidly, exactly and effectively. According to the general principles of an emergen...
Project Management Effectiveness: the choice - formal or informal controls
Project Management Effectiveness choice formal informal controls
2009/12/8
Development failures and runaway projects in the information systems (IS) area can result in substantial losses to organizations, either financially or to a company’s reputation. One important strate...
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
2008/10/8
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...
New Objects in Formal Professional Learning: Replaying Meetings to Learn
New Objects Formal Professional Learning Replaying Meetings
2008/6/30
Thispaper explores the possibilities of on-line meetings in the context ofa formal learning initiative, and how replays of these meetings havebeen used as Learning Objects to improve the professional ...
COFRE: Environment for Specifying Coordination Requirements using Formal and Graphical Techniques
COFRE Environment Specifying Coordination Requirements using Formal Graphical Techniques
2003/12/15
Advances in computer science have enabled the development of more and more complex systems. One of the most powerful tools to manage these systems is coordination models and languages.However, a serio...