搜索结果: 1-14 共查到“工学 formal”相关记录14条 . 查询时间(0.046 秒)
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...
Building Reconstruction Using a Structural Description Based on a Formal Grammar
laser scanning (LIDAR) building reconstruction image understanding feature extraction buildings
2015/12/8
The automatic reconstruction of roofs and buildings has been an important research topic during the last years. This paper elaborates on the automatic and semi-automatic reconstruction of roofs from a...
FORMAL LANGUAGES FOR EXPRESSING DATA CONSISTENCY RULES AND IMPLICATIONS FOR REPORTING OF QUALITY METADATA
Re-use rules metrics mining languages metadata
2015/9/28
Over the past thirty years, in excess of 36 billion dollars has been invested in the collection of spatial information across the public sector in Europe (PIRA, 2000). There is a clear imperative now ...
A formal approach of developmental robotics and psychology
cognitive system formalism developmental robotics dynamical systems joint attention
2015/7/31
A formal approach of developmental robotics and psychology.
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
2013/1/28
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...
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic
Complexity Circuits Strength of Formal Theories
2012/12/4
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set of Kolmogorov-random strings? Although this might seem improbable, a series of papers has recently p...
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...
The Automated Fairing of Ship Hull Lines Using Formal Optimisation Methods
Fairing Optimisation Ship Lines Curvature B-splines
2009/10/12
The problem of creating fair ship design curves is of major importance in Computer Aided Ship Design environment. The fairness of these curves is generally considered a subjective notion depending on ...
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
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...
New Objects in Formal Professional Learning: Replaying Meetings to Learn
New Objects Formal Professional Learning Replaying Meetings
2010/9/20
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
2014/3/12
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...