9842 search results - page 1616 / 1969 » Problem complexity |
176
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
186
click to vote
ICLP
2004
Springer
16 years 5 days ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
193
click to vote
IPTPS
2004
Springer
16 years 5 days ago
2004
Springer
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...
162
Voted
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
This paper addresses the problem of the performance evaluation of algorithms for the automatic detection of note onsets in music signals. Our experiments show that creating a data...
214
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...