1982 search results - page 279 / 397 » Parametricity and dependent types |
114
click to vote
ICPADS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we describe a resource matcher (RM) developed for the on-line resource matching in heterogeneous grid environments. RM is based on the principles of Evolutionary Al...
ICPPW
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a directed query dissemination scheme, DirQ that routes queries to the appropriate source nodes based on both constant and dynamicvalued attributes such as se...
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper proposes a novel method of fusing models for classification of unbalanced data. The unbalanced data contains a majority of healthy (negative) instances, and a minor...
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. This motivates the use of real workloads (as recorded in activity logs) to drive simulations of n...