• Title of article

    Introduction: Pattern Processing in Music Analysis and Creation

  • Author/Authors

    ROLLAND، PIERRE-YVES نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2001
  • Pages
    -2
  • From page
    3
  • To page
    0
  • Abstract
    We consider packet routing when packets are injected continuously into Aa network. We develop an adversarial theory of queuing aimed at addressing some Aof the restrictions inherent Ain probabilistic analysis and queuing Atheory based on time-invariant stochastic generation. We Aexamine the Astability of queuing networks and policies when the arrival process is Aadversarial, Aand provide some preliminary results in this direction. AOur approach sheds light on various Aqueuing policies in simple Anetworks, and paves the way for a systematic study of queuing with Afew or no probabilistic assumptions.
  • Keywords
    first-order theories , complexity analysis , ordered resolution , Automated theorem proving
  • Journal title
    COMPUTER AND THE HUMANITIES
  • Serial Year
    2001
  • Journal title
    COMPUTER AND THE HUMANITIES
  • Record number

    32071