5064 search results - page 879 / 1013 » Recent Developments in Gridsolve |
103
Voted
JAR
2002
15 years 4 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
150
click to vote
JAIR
1998
15 years 4 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
129
click to vote
MAM
2002
15 years 4 months ago
2002
The use of a centralised planning scheduler in fieldbus-based systems requiring real-time operation has proved to be a good compromise between operational flexibility and timeline...
110
Voted
MONET
2002
15 years 4 months ago
2002
In this paper we discuss the performance of a document distribution model that interconnects Web caches through a satellite channel. During recent years Web caching has emerged as...
129
Voted
PAMI
2002
15 years 4 months ago
2002
In this article, we evaluate the performance of three clustering algorithms, hard K-Means, single linkage, and a simulated annealing (SA) based technique, in conjunction with four ...