680 search results - page 106 / 136 » Complexity of Strict Implication |
135
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
146
Voted
VEE
2010
ACM
15 years 10 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
123
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
136
Voted
AIED
2007
Springer
15 years 9 months ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
124
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...