685 search results - page 24 / 137 » Closure Operators for Order Structures |
100
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
112
Voted
TVCG
1998
15 years 1 months ago
1998
—Numerical simulation of physical phenomena is now an accepted way of scientific inquiry. However, the field is still evolving, with a profusion of new solution and grid-generati...
134
Voted
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
121
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
144
click to vote
CN
1999
15 years 1 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...