2735 search results - page 311 / 547 » Comparing notions of randomness |
144
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
122
Voted
PACT
2009
Springer
15 years 7 months ago
2009
Springer
The notion of Fast Fourier Transformation (FFT) describes a range of efficient algorithms to compute the discrete Fourier transformation, frequency distribution in a signal. FFT pl...
108
click to vote
SAT
2009
Springer
15 years 7 months ago
2009
Springer
We use the notion of boundary points to study resolution proofs. Given a CNF formula F, a lit(x)-boundary point is a complete assignment falsifying only clauses of F having the sam...
109
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
106
Voted
ENC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces an approach for adaptively brokering queries for exploiting streams produced and consumed by devices with limited computing and storage capacities. Such devi...