6592 search results - page 108 / 1319 » On robust cycle bases |
145
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper addresses a noise suppression problem, namely the estimation of non-stationary noise sequences. In this problem, we assume that non-stationary noise can be decomposed i...
159
click to vote
VG
2003
15 years 7 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
151
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
162
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
177
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
: New forms of communication and co-operation do not have the same environmental impact pattern as current forms of work. Environmental impacts are produced by work technologies (m...