4983 search results - page 157 / 997 » order 2008 |
125
click to vote
ENTCS
2008
15 years 4 months ago
2008
We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. Thi...
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination. In contrast to ...
106
click to vote
ENTCS
2008
15 years 4 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
107
click to vote
EOR
2008
15 years 4 months ago
2008
We study a problem faced by a major beverage producer. The company produces and distributes several brands to various customers from its regional distributors. For some of these b...
101
click to vote
FSS
2008
15 years 4 months ago
2008
In this work we give a state-of-the-art review of two of the most established classes of fuzzy implications, viz., (S, N)- and R-implications. Firstly, we discuss their properties...