5205 search results - page 758 / 1041 » Tilings and model theory |
188
click to vote
PPOPP
2005
ACM
16 years 8 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
158
click to vote
SIGIR
2005
ACM
16 years 8 days ago
2005
ACM
Song and Bruza [6] introduce a framework for Information Retrieval(IR) based on Gardenfor’s three tiered cognitive model; Conceptual Spaces[4]. They instantiate a conceptual spa...
162
click to vote
SMA
2005
ACM
16 years 8 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
158
click to vote
WWW
2005
ACM
16 years 8 days ago
2005
ACM
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
150
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Part of the motivation behind the evolution of learning environments is the idea of providing students with individualized instructional strategies that allow them to learn as much...