5624 search results - page 968 / 1125 » On Conditional Covering Problem |
118
click to vote
ENTCS
2006
15 years 23 days ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
105
click to vote
ENTCS
2006
15 years 23 days ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
88
Voted
FS
2006
15 years 22 days ago
2006
Abstract. We present an iterative procedure for computing the optimal Bermudan stopping time, hence the Bermudan Snell envelope. The method produces an increasing sequence of appro...
101
Voted
IJON
2008
15 years 22 days ago
2008
We consider the problem of convolutive blind source separation of stereo mixtures. This is often tackled using frequency-domain independent component analysis (FDICA), or time-fre...
111
click to vote
GRID
2006
Springer
15 years 22 days ago
2006
Springer
-- In Grid collaborations, scientists use middleware to execute computational experiments, visualize results, and securely share data on resources ranging from desktop machines to ...