Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,536
Implementation and Optimisation Techniques
, 2003
"... This chapter will discuss the implementation of the reasoning services which form the core of Description Logic based Knowledge Representation Systems. To be useful in realistic applications, such systems need both expressive logics and fast reasoners. As expressive logics inevitably have high worst ..."
Abstract
-
Cited by 25 (5 self)
- Add to MetaCart
worst-case complexities, this can only be achieved by employing highly optimised implementations of suitable reasoning algorithms. Systems based on such implementations have demonstrated that they can perform well with problems that occur in realistic applications, including problems where unoptimised
Optimisation Techniques for Wireless Networks
- Proceedings of the Sixth International Network Conference: INC 2006
, 2006
"... This paper introduces two new algorithms for the minimum connected dominating set problem. The problem and its relevance to various aspects of wireless network optimisation are briefly outlined followed by a description of the suggested techniques. Results show that these algorithms outperform a num ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
This paper introduces two new algorithms for the minimum connected dominating set problem. The problem and its relevance to various aspects of wireless network optimisation are briefly outlined followed by a description of the suggested techniques. Results show that these algorithms outperform a
ARM Programming and Optimisation Techniques Abstract
"... This tutorial paper presents some optimisation techniques for programming with ARM processors, addressing both memory (footprint) and execution time optimisation. For purposes of illustration, the ARM7TDMI is chosen as a representative of the ARM family. The 32-bit ARM instruction set is chosen as t ..."
Abstract
- Add to MetaCart
This tutorial paper presents some optimisation techniques for programming with ARM processors, addressing both memory (footprint) and execution time optimisation. For purposes of illustration, the ARM7TDMI is chosen as a representative of the ARM family. The 32-bit ARM instruction set is chosen
analysis and optimisation techniques
"... Evolving car designs using model-based automated safety ..."
Optimisation Techniques for Expressive Description Logics
, 1997
"... This report describes and evaluates optimisation techniques for a tableaux based satisfiability testing algorithm used to compute subsumption in Grail, an expressive description logic. Five techniques are studied in detail: normalisation and encoding, indexing, semantic branching, dependency directe ..."
Abstract
-
Cited by 11 (1 self)
- Add to MetaCart
This report describes and evaluates optimisation techniques for a tableaux based satisfiability testing algorithm used to compute subsumption in Grail, an expressive description logic. Five techniques are studied in detail: normalisation and encoding, indexing, semantic branching, dependency
Optimisation Techniques for Combining Constraint Solvers
- IN MAARTEN DE RIJKE AND
, 1998
"... In recent years, techniques that had been developed for the combination of unification algorithms for equational theories were extended to combining constraint solvers. These techniques inherited an old deficit that was already present in the combination of equational theories which makes them rathe ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
In recent years, techniques that had been developed for the combination of unification algorithms for equational theories were extended to combining constraint solvers. These techniques inherited an old deficit that was already present in the combination of equational theories which makes them
Branch optimisation techniques for hardware compilation
- In Proceedings of FPL 2003
, 2003
"... Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating more resources to branches which execute more frequently. A hardware compilation system has been developed for producing de ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating more resources to branches which execute more frequently. A hardware compilation system has been developed for producing
A note on the accuracy of optimisation techniques
- The Computer Journal
, 1972
"... The accuracy to which the location of a stationary value of a function may be determined by direct search techniques is shown to be considerably less than the corresponding precision attain-able in the calculation of the actual magnitude of the stationary value. For functions of a single variable it ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
The accuracy to which the location of a stationary value of a function may be determined by direct search techniques is shown to be considerably less than the corresponding precision attain-able in the calculation of the actual magnitude of the stationary value. For functions of a single variable
Application Of Optimisation Techniques In Aviation Industries
"... In the modern aircraft many components were produced because of the effort of engineering fraternity, most of the components were designed in a manner that they are subjected to various types of loads and stresses. In their life span members need to carry more amount of load but with a shorter thick ..."
Abstract
- Add to MetaCart
thickness, designing them will induce curiosity among the engineers. There are many tools which are used practically for the design purpose and one such tool is optimization techniques. Design of engineering components is a costly process in which a small reduction in size wills ultimate lead to huge saving
Application of optimisation techniques in groundwater quantity and quality management
- Sadhana
, 2001
"... Abstract. This paper presents the state-of-the-art on application of optimisa-tion techniques in groundwater quality and quantity management. In order to solve optimisation-based groundwater management models, researchers have used various mathematical programming techniques such as linear program-m ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract. This paper presents the state-of-the-art on application of optimisa-tion techniques in groundwater quality and quantity management. In order to solve optimisation-based groundwater management models, researchers have used various mathematical programming techniques such as linear program
Results 1 - 10
of
3,536
