Sciweavers

5158 search results - page 206 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
SIGMETRICS
2006
ACM
116views Hardware» more  SIGMETRICS 2006»
16 years 14 days ago
The Erlang model with non-poisson call arrivals
The Erlang formula is known to be insensitive to the holding time distribution beyond the mean. While calls are generally assumed to arrive as a Poisson process, we prove that it ...
Thomas Bonald
SAC
2005
ACM
16 years 2 days ago
Method construction - a core approach to organizational engineering
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
Christian Braun, Felix Wortmann, Martin Hafner, Ro...
ECSQARU
2005
Springer
16 years 1 days ago
Bilattice-Based Squares and Triangles
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...
Ofer Arieli, Chris Cornelis, Glad Deschrijver, Eti...
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
16 years 1 days ago
Lifting techniques for triangular decompositions
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
Xavier Dahan, Marc Moreno Maza, Éric Schost...
ICAISC
2004
Springer
15 years 12 months ago
Strategic Planning through Model Checking of ATL Formulae
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
Wojciech Jamroga