Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Mathematical programming 57 (1992), S. 215-238 
    ISSN: 1436-4646
    Schlagwort(e): Inductive inference ; Boolean function synthesis ; satisfiability ; artificial intelligence ; integer programming ; interior point method ; Riemannian geometry
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: Abstract In this paper we describe an interior point mathematical programming approach to inductive inference. We list several versions of this problem and study in detail the formulation based on hidden Boolean logic. We consider the problem of identifying a hidden Boolean functionℱ:{0, 1} n → {0, 1} using outputs obtained by applying a limited number of random inputs to the hidden function. Given this input—output sample, we give a method to synthesize a Boolean function that describes the sample. We pose the Boolean Function Synthesis Problem as a particular type of Satisfiability Problem. The Satisfiability Problem is translated into an integer programming feasibility problem, that is solved with an interior point algorithm for integer programming. A similar integer programming implementation has been used in a previous study to solve randomly generated instances of the Satisfiability Problem. In this paper we introduce a new variant of this algorithm, where the Riemannian metric used for defining the search region is dynamically modified. Computational results on 8-, 16- and 32-input, 1-output functions are presented. Our implementation successfully identified the majority of hidden functions in the experiment.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Annals of operations research 25 (1990), S. 43-58 
    ISSN: 1572-9338
    Schlagwort(e): Integer programming ; interior point method ; logic ; satisfiability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract We apply the zero-one integer programming algorithm described in Karmarkar [12] and Karmarkar, Resende and Ramakrishnan [13] to solve randomly generated instances of the satisfiability problem (SAT). The interior point algorithm is briefly reviewed and shown to be easily adapted to solve large instances of SAT. Hundreds of instances of SAT (having from 100 to 1000 variables and 100 to 32,000 clauses) are randomly generated and solved. For comparison, we attempt to solve the problems via linear programming relaxation with MINOS.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 9 (1991), S. 215-234 
    ISSN: 1572-9443
    Schlagwort(e): Asymptotics ; adaptive windows ; access control ; bursty sources ; buffer management ; retransmission protocols
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract In this paper we articulate our philosophy and approach to the design and control of high speed data networks. The object is to put into perspective and to explain the coordination of various isolated pieces of detailed technical analyses that have been reported in several recent papers. In the process we summarize what we have learnt in our recent work and, also, we give indications of the direction of our future work. Our scheme integrates feedback and open loop control. The feedback control is exercised by sliding windows; access controllers regulate bursty sources. All our design proposals are rooted in asymptotic analyses; the justification for asymptotics comes from the largeness of the parameters, such as propagation delay, speed, window size, buffer size, and the number of virtual circuits. This analysis makes a strong case for operating in a specific “moderate usage” regime, and adaptive dynamic windowing algorithms are given that make this happen; moreover, when in this regime, buffers may be sized aggressively small without jeopardizing performance and the simplicity of the retransmission protocol. The topics in the paper are: model of communication, results on the steady-state behavior of the basic model, access control, small buffers and retransmission protocols, dynamic adaptive windows, bursty sources, and contrast with previous work.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...