1127 search results - page 111 / 226 » Theory Extension in ACL2(r) |
161
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Divisible load applications consist of a load, that is input data and associated computation, that can be divided arbitrarily into independent pieces. Such applications arise in m...
170
click to vote
MICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
175
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
167
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
149
click to vote
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
In Information Retrieval (IR), the Dirichlet Priors have been applied to the smoothing technique of the language modeling approach. In this paper, we apply the Dirichlet Priors to...