2583 search results - page 29 / 517 » On the Representation of Timed Polyhedra |
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
ICCSA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
COMCOM
2004
13 years 8 months ago
2004
The Private Network-to-Network Interface (PNNI) is a scalable hierarchical protocol that allows ATM switches to be aggregated into clusters called peer groups. To provide good acc...
AAAI
1990
13 years 10 months ago
1990
Ladkin and Maddux [LaMa87] showed how to interpret the calculus of time intervals defined by Allen [AZ2831 in terms of representations of a particular relation algebra, and proved...
BILDMED
1998
13 years 10 months ago
1998
Various time efficient procedures were developed allowing to calculate planar representations of the brain in MR and CT clearly conveying the whole surface topology. For the compar...