5863 search results - page 130 / 1173 » An evaluation of the TRIPS computer system |
152
click to vote
ILP
2004
Springer
15 years 7 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
112
click to vote
IPPS
1995
IEEE
15 years 5 months ago
1995
IEEE
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
138
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
110
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
107
Voted
ICMI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...