Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
31
International Organisation For Standardisation
"... This document describes a proposal for embedding spatial and temporal scalability into the AVC codec. For this proposal, an important assumption was made that the scalable codec exploits the same coding technology as already defined AVC codec and possibly minor modifications are imposed onto the cod ..."
Abstract
- Add to MetaCart
the codec structure. It means that a scalable two-layer AVC codec should exploit mostly the same functional blocks as standard AVC codec. Moreover the bitstream syntax of both base and enhancement layer should be as close to the standard bitstream syntax as possible. One requires also that the scalable AVC
Object-Z: a Specification Language Advocated for the Description of Standards
- COMPUTER STANDARDS AND INTERFACES
, 1995
"... The importance of formalising the specification of standards has been recognised for a number of years. This paper advocates the use of the formal specification language Object-Z in the definition of standards. Object-Z is an extension to the Z language specifically to facilitate specification in ..."
Abstract
-
Cited by 164 (15 self)
- Add to MetaCart
in an objectoriented style. First, the syntax and semantics of Object-Z are described informally. Then the use of Object-Z in formalising standards is demonstrated by presenting a case study based on the ODP Trader. Finally, a formal semantics is introduced that suggests an approach to the standardisation of Object
Space Syntax: Standardised Integration Measures and Some Simulations, Environment and Planning B: Planning and Design
- Institute of Technology
, 1993
"... Abstract. Central to the space syntax method (a technique for morphological analysis of urban areas) is the concept of integration. Unfortunately, the integration values are not independent of the size of urban areas. Consequently it is difficult to compare areas of different size, implying a need f ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract. Central to the space syntax method (a technique for morphological analysis of urban areas) is the concept of integration. Unfortunately, the integration values are not independent of the size of urban areas. Consequently it is difficult to compare areas of different size, implying a need
Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches
- IN PROCEEDINGS OF THE 7TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE
, 2003
"... Setting up electronic Business-to-Business relationships is time-consuming and costly. It has been eased to a certain extent by standards such as RosettaNet, which use XML and XML Schema technologies to define standardised syntax of messages used in interactions. However, this standardisation has ne ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
Setting up electronic Business-to-Business relationships is time-consuming and costly. It has been eased to a certain extent by standards such as RosettaNet, which use XML and XML Schema technologies to define standardised syntax of messages used in interactions. However, this standardisation has
Towards Standardisation of Named-entity Annotations in the Life Science Literature
"... The main aim of this proposal is to revisit and in the best case re-launch an initiative that would provide harmonised ways for representing and tagging named entities in the life science litera-ture. We are proposing to establish common doc-ument formats that facilitate the exchange of an-notation ..."
Abstract
- Add to MetaCart
-notation results contained in the literature as a complementary approach to the development of interoperable tools. We want to work towards (a) recommendations for a common syntax to em-body entity mentions in publishers ’ document for-mats (e.g., into PMC), and (b) provision of a common way to reference semantic
The Higher-Order Prover LEO-II
- J AUTOM REASONING
, 2015
"... Leo-II is an automated theorem prover for classical higher-order logic. The prover has pioneered cooperative higher-order–first-order proof automation, it has influenced the development of the TPTP THF infrastructure for higher-order logic, and it has been applied in a wide array of problems. Leo- ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
-II may also be called in proof assistants as an external aid tool to save user effort. For this it is crucial that Leo-II returns proof information in a standardised syntax, so that these proofs can eventually be transformed and verified within proof assistants. Recent progress in this direction
INTERNATIONAL ORGANISATION FOR STANDARDISATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC1/SC29/WG11 CODING OF MOVING PICTURES AND AUDIO
, 1997
"... This document proposes a minor revision to Section 7 of the MPEG-4 Systems Working Draft Version 5.1. The proposed changes are as follows: 1. Indication that all binary quantities are with the most significant byte first, and the most significant bit first (Section 7.1). 2. New rule (E.2) documentin ..."
Abstract
- Add to MetaCart
) documenting the ‘type(length) * name ’ syntax for look-ahead parsing (similar to the old nextbits() operation). This replaces the older notation that used square brackets and bitstring literals. The change is motivated by the significinatly simpler grammar rules that result, as well as the need to ensure
A retrospective on the development of the RDF/XML Revised Syntax (online). June 2003 (retrieved at 2004-07-09). Available from: http://www.ilrt.bris.ac.uk
- ILRT, University of Bristol. ILRT Research Report Number
, 2003
"... Abstract. This paper reviews the process that was undertaken in revising the transfer syntax for RDF as defined in the RDF Model and Syntax W3C Recommendation[1] by the RDF Core Working Group[2] and the problems that are now clear especially comparing the revised RDF model and new abstract syntax. T ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
standardisation activity. 1 Introduction to RDF/XML This paper reviews the process revising the transfer syntax for RDF as defined in the
General Biology
, 2006
"... traits such as ‘predator ’ and ‘surface deposit feeder’. BIOTIC also includes some free text fields that include traits that do not easily lend themselves to standardised terms. Due to the syntax of database field names, the trait categories are abbreviated in the downloadable CSV files. The abbrevi ..."
Abstract
- Add to MetaCart
traits such as ‘predator ’ and ‘surface deposit feeder’. BIOTIC also includes some free text fields that include traits that do not easily lend themselves to standardised terms. Due to the syntax of database field names, the trait categories are abbreviated in the downloadable CSV files
C.: Closing the Gap between Modelling and Java
- In: SLE
, 2010
"... Abstract. Model-Driven Software Development is based on standard-ised models that are refined, transformed and eventually translated into executable code using code generators. However, creating plain text from well-structured models creates a gap that implies several drawbacks: De-velopers cannot c ..."
Abstract
-
Cited by 17 (2 self)
- Add to MetaCart
Abstract. Model-Driven Software Development is based on standard-ised models that are refined, transformed and eventually translated into executable code using code generators. However, creating plain text from well-structured models creates a gap that implies several drawbacks: De-velopers cannot
Results 1 - 10
of
31
