5510 search results - page 767 / 1102 » Mathematics |
195
click to vote
PARA
2004
Springer
16 years 2 days ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
201
click to vote
PET
2004
Springer
16 years 2 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
149
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
175
click to vote
PRICAI
2004
Springer
16 years 2 days ago
2004
Springer
Processes that simulate natural phenomena have successfully been applied to a number of problems for which no simple mathematical solution is known or is practicable. Such meta-heu...
196
click to vote
RTA
2004
Springer
16 years 2 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...