HELM: A Hierarchical Notation Language for Complex Biomolecule Structure Representation
نویسندگان
چکیده
منابع مشابه
Graphical Notation for Natural Language and Knowledge Representation
This article describes graphical language for the representation of textual user requirements. We need such a language in order to approach the automatic construction of graphical software engineering (SE) models (in particular UML diagrams) as a translation from one graphical language into another. In order to fulfill this goal, we have included universal notation in graphical language, which ...
متن کاملLogic-Based Knowledge Representation Languages Can Represent Complex Objects and Hierarchical Structure in a Natural Manner
Correction: In Issue 14-2, the title of Kathleen Finn's thesis was incorrect. It should read "An Investigation of Visible Lip Information to be Used in Automated Speech Recognition." Selected Dissertation Abstracts Compiled by: Susanne M. Humphrey, National Library of Medicine, Bethesda, MD 20209 Bob Krovetz, University of Massachusetts, Amherst, MA 01002 The following are citations selected by...
متن کاملA timed semantics for a hierarchical design notation
The software control systems that are embedded in many products are increasingly complex. There are many stages in the typical software design life cycle, and these include testing, and sometimes use formal methods. This thesis aims to strengthen the design life cycle by demonstrating a pragmatic use of formal methods for an industrially-applicable design method. We take a design method and not...
متن کاملTracking by Hierarchical Representation of Target Structure
Tracking of spatially extended targets with variable shape, pose and appearance is a highly challenging task. In this work we propose a novel tracking approach using an incrementally generated part-based description to obtain a specific representation of target structure. The hierarchical part-based representation is learned in a generative manner from a large set of simple local features. The ...
متن کاملGraph representation of hierarchical Alvis model structure
Alvis Toolkit supports the development of embedded systems. A result of the toolkit use is not only an Alvis model, but also a formal model representation in the form of a Labelled Transition System is generated in parallel. This allows a designer to make a formal verification of the developed embedded system behaviour. The modularisation concept is expressed by the hierarchical agents structur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Information and Modeling
سال: 2012
ISSN: 1549-9596,1549-960X
DOI: 10.1021/ci3001925