4513 search results - page 751 / 903 » Modeling with a Sense of Purpose |
ASPLOS
1992
ACM
15 years 2 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
FOCS
1992
IEEE
15 years 2 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
SIGCSE
1993
ACM
15 years 2 months ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
KR
1992
Springer
15 years 2 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
102
click to vote
CADE
1990
Springer
15 years 2 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...