36 search results - page 1 / 8 » The stuttering principle revisited |
ACTA
2005
13 years 4 months ago
2005
It is known that LTL formulae without the `next' operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL...
MANSCI
2010
12 years 11 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
JMIV
1998
13 years 4 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Electronic Customer Relationship Management (eCRM) has become the latest paradigm in the world of Customer Relationship Management. Recent business surveys suggest that up to 50% ...
WMTE
2006
IEEE
13 years 10 months ago
2006
IEEE
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...