The process and results of using formal methods to specih the Lights Out Ground Operations System (LOGOS) are presented in this paper. LOGOS is a prototype multi-agent system developed to demonstrate the feasibility of providing autonomy to satellite ground operations functions at NASA Goddard Space Flight Center (GSFC}. Following the initial implementation of LOGOS, the development team decide...

We present a generic framework called LOGOS that may serve as a formal basis for investigations of authorization issues in groupware systems. LOGOS has been formulized within HOL a well-known higher-order logic, which is supported by a number of wide-spread theorem provers as e.g. Isabelle/HOL.

A serious problem for users of machine translation is estimating the suitability of a particular document for MT and, thus, the translation quality. The available utilities such as style and grammar checkers, well-formedness and readability measures have not proven sufficiently useful in this regard. Researchers at Logos Corporation therefore undertook a study of the feasibility of a translatab...

This article contains references to the products of SAP AG. SAP, R/3, SAP NetWeaver, Duet, PartnerEdge, ByDesign, Clear Enterprise, SAP Business Objects Explorer, and other SAP products and services mentioned herein as well as their respective logos are trademarks or registered trademarks of SAP AG in Germany and other countries. Business Objects and Business Objects logos, BusinessObjects, Cry...

Neurolinguistic circuitry for two different scripts of language, such as phonological scripts (PhonoS) versus logographic scripts (LogoS) (e.g., English versus Chinese, resp.), recruits segregated neural pathways according to orthographic regularity (OrthoR). The purpose of this study was to identify the effect of VSF for cortical representation according to different OrthoR to represent Hangul...

with regard to the essential role and function of topos / place (in comparison with time) in the thinking, acting and speaking of the ancient individuals, it is possible to analyze the inscribed speeches of ancient persian kings according to their conceptions of topos or place. for reaching to this aim darius' inscriptions in behistun (db) will be chosen and they will be analyzed within an appr...

The procedure of detection and recognition for separated part logos in document images is a major problem in logo detection and recognition algorithms that previously have presented. In this paper, a novel logo detection and recognition framework based on spatial and structural features especially for separated part logos application is proposed. To overcome this problem, we consider some speci...