3235 search results - page 532 / 647 » Partial Redundant Modeling |
146
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
111
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
In most real-world situations, a single microphone is insufficient for the characterization of an entire auditory scene. This often occurs in places such as office environments ...
118
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...
112
click to vote
ADMI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
115
click to vote
APPROX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This work considers the problem of approximating fixed predicate constraint satisfaction problems (MAX k-CSP(P)). We show that if the set of assignments accepted by P co...