2226 search results - page 435 / 446 » Computable Analysis via Representations |
102
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
123
click to vote
ICS
2001
Tsinghua U.
15 years 6 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
143
Voted
IWVF
2001
Springer
15 years 6 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
126
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
108
click to vote
AAAI
2000
15 years 3 months ago
2000
One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...