ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Monograph available for loan
    Monograph available for loan
    Expert system applications (1989)
    Wilmslow, United Kingdom : Sigma Press
    Details Availability
    Call number: O 7159
    Type of Medium: Monograph available for loan
    Pages: xiv, 274 S.
    ISBN: 1850581274
    Language: English
    Location: Upper compact magazine
    Branch Library: GFZ Library
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    BOOK
    Link to Library Catalog
    get availability status
  • 2
    Electronic Resource
    Electronic Resource
    The MD Shell and its use to develop Dust-Expert (1995)
    Oxford, UK : Blackwell Publishing Ltd
    Expert systems 12 (1995), S. 0 
    Details
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evaluating a prototype implementation of Dust-Expert using a conventional shell. This evaluation is carried out in terms of the transparency, reliability and extensibility of the system.The lessons learned from this evaluation have led to the development of TheMD Shell. We describe the main features of the shell which include more appropriate schemas, more complete explanation capabilities, a ranking scheme and equation-solving capabilities. We illustrate the use of the schemas and the importance of the equation-solving capabilities by examples from the domain of dust explosions. We also provide a formal specification of the ranking scheme that we adopt. We conclude by highlighting the benefits of our approach in comparison to the usual process of developing knowledge-based systems.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1111/j.1468-0394.1995.tb00112.x
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Inducing safer oblique trees without costs (2005)
    Oxford, UK : Blackwell Publishing
    Expert systems 22 (2005), S. 0 
    Details
    ISSN: 1468-0394
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: Abstract: Decision tree induction has been widely studied and applied. In safety applications, such as determining whether a chemical process is safe or whether a person has a medical condition, the cost of misclassification in one of the classes is significantly higher than in the other class. Several authors have tackled this problem by developing cost-sensitive decision tree learning algorithms or have suggested ways of changing the distribution of training examples to bias the decision tree learning process so as to take account of costs. A prerequisite for applying such algorithms is the availability of costs of misclassification. Although this may be possible for some applications, obtaining reasonable estimates of costs of misclassification is not easy in the area of safety.This paper presents a new algorithm for applications where the cost of misclassifications cannot be quantified, although the cost of misclassification in one class is known to be significantly higher than in another class. The algorithm utilizes linear discriminant analysis to identify oblique relationships between continuous attributes and then carries out an appropriate modification to ensure that the resulting tree errs on the side of safety. The algorithm is evaluated with respect to one of the best known cost-sensitive algorithms (ICET), a well-known oblique decision tree algorithm (OC1) and an algorithm that utilizes robust linear programming.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1111/j.1468-0394.2005.00311.x
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Intelligent systems in manufacturing: current developments and future prospects (2000)
    Bradford : Emerald
    Integrated manufacturing systems 11 (2000), S. 218-238 
    Details
    ISSN: 0957-6061
    Source: Emerald Fulltext Archive Database 1994-2005
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Economics
    Notes: Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Traditional approaches to manufacturing systems do not fully satisfy this new situation. Many authors have proposed that artificial intelligence (AI) will bring the flexibility and efficiency needed by manufacturing systems. This paper is a review of AI techniques used in manufacturing systems. The paper first defines the components of a simplified intelligent manufacturing systems (IMS), the different AI techniques to be considered and then shows how these AI techniques are used for the components of IMS.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1108/09576060010326221
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Proof by analogy in mural (1995)
    Springer
    Formal aspects of computing 7 (1995), S. 183-206 
    Details
    ISSN: 1433-299X
    Keywords: Heuristics ; Theorem proving ; Analogy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract An important advantage of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however, can be time consuming to the extent that designers have to judge whether a proof of a particular obligation is worth conducting. Even if hand proofs are worth conducting, how do we know that they are correct? One approach to overcoming this problem is to use an automatic theorem proving system to develop and check our proofs. However, in order to enable present day theorem provers to check proofs, one has to conduct them in much more detail than hand proofs. Carrying out more detailed proofs is of course more time consuming. This paper describes the use of proof by analogy in an attempt to reduce the time spent on proofs. We develop and implement a proof follower based on analogy and present an example to illustrate its characteristics. The example shows that even when the follower fails to complete a proof, it can provide a hint that enables the user to complete a proof.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01211605
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Tools for producing formal specifications: a view of current architectures and future directions (1997)
    Springer
    Annals of software engineering 3 (1997), S. 273-290 
    Details
    ISSN: 1573-7489
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well‐defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence, various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1018950324254
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    facet.materialart.
    Unknown
    Using Wittgenstein’s Family Resemblance Principle to Learn Exemplars (2007)
    Springer
    Details
    Publication Date: 2007-12-19
    Print ISSN: 1233-1821
    Electronic ISSN: 1572-8471
    Topics: Natural Sciences in General
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 8
    facet.materialart.
    Unknown
    A Probabilistic Model for Information and Sensor Validation (2005)
    Oxford University Press
    Details
    Publication Date: 2005-10-24
    Print ISSN: 0010-4620
    Electronic ISSN: 1460-2067
    Topics: Computer Science
    Published by Oxford University Press
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 9
    facet.materialart.
    Unknown
    Pruning Neural Networks Using Multi-Armed Bandits (2019)
    Oxford University Press
    Details
    Publication Date: 2019-09-26
    Description: The successful application of deep learning has led to increasing expectations of their use in embedded systems. This, in turn, has created the need to find ways of reducing the size of neural networks. Decreasing the size of a neural network requires deciding which weights should be removed without compromising accuracy, which is analogous to the kind of problems addressed by multi-armed bandits (MABs). Hence, this paper explores the use of MABs for reducing the number of parameters of a neural network. Different MAB algorithms, namely $epsilon $-greedy, win-stay, lose-shift, UCB1, KL-UCB, BayesUCB, UGapEb, successive rejects and Thompson sampling are evaluated and their performance compared to existing approaches. The results show that MAB pruning methods, especially those based on UCB, outperform other pruning methods.
    Print ISSN: 0010-4620
    Electronic ISSN: 1460-2067
    Topics: Computer Science
    Published by Oxford University Press
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 10
    facet.materialart.
    Unknown
    A Cost-Sensitive Decision Tree Learning Algorithm Based on a Multi-Armed Bandit Framework (2016)
    Oxford University Press
    Details
    Publication Date: 2016-03-30
    Print ISSN: 0010-4620
    Electronic ISSN: 1460-2067
    Topics: Computer Science
    Published by Oxford University Press
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...