11808 search results - page 467 / 2362 » Isometries and Computability Structures |
188
Voted
ACMMSP
2005
ACM
16 years 12 days ago
2005
ACM
In this work we investigate the impact of evolving memory system features, such as large on-chip caches, automatic prefetch, and the growing distance to main memory on 3D stencil ...
204
click to vote
ICAIL
2005
ACM
16 years 11 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
195
click to vote
APWEB
2005
Springer
16 years 11 days ago
2005
Springer
Data management issues in mobile computing environments have got lots of concerns of relevant researchers. Among these research topics, data broadcast has been extensively investig...
194
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
162
click to vote
ICNC
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...