472 search results - page 71 / 95 » Limiting Negations in Formulas |
ICS
2000
Tsinghua U.
14 years 2 months ago
2000
Tsinghua U.
Memory system bottlenecks limit performance for many applications, and computations with strided access patterns are among the hardest hit. The streams used in such applications h...
PACS
2000
Springer
14 years 2 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
ESA
2008
Springer
14 years 5 days ago
2008
Springer
We study the mechanism design problem of scheduling unrelated machines and we completely characterize the decisive truthful mechanisms for two players when the domain contains bot...
NIPS
2004
13 years 11 months ago
2004
Learning in a multiagent system is a challenging problem due to two key factors. First, if other agents are simultaneously learning then the environment is no longer stationary, t...
ICIS
1998
13 years 11 months ago
1998
The purposes of this paper are to show how the development and procurement processes are affected by accountants and to consider what human factors knowledge accountants should ha...