29908 search results - page 357 / 5982 » On the Complexity of |
174
click to vote
SPAA
2003
ACM
16 years 2 days ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
170
click to vote
ICCSA
2003
Springer
16 years 21 hour ago
2003
Springer
In this paper, we model an agent-based economy in which heterogeneous agents (firms and a bank) interact in the financial markets. The heterogeneity is due to the balance sheet ...
155
click to vote
ILP
2003
Springer
16 years 17 hour ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
206
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
Previous work suggests that Gabor-wavelet-based methods can achieve high sensitivity and specificity for emotionspecified expressions (e.g., happy, sad) and single action units ...
172
click to vote
LOCWEB
2009
ACM
15 years 11 months ago
2009
ACM
While the demand for Location-based Services (LBS) is strongly increasing, technical laymen are not yet able to build and provide location-aware applications. This paper presents ...