4498 search results - page 489 / 900 » How to Invent Functions |
178
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper addresses the problem of seeking out parts of the environment that provide adequate features in order to perform robot localization. The objective is to choose good regi...
181
Voted
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
167
Voted
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
The scheduling of application tasks is a problem that occurs in all multiprocessor systems. This problem becomes even more complicated if the tasks are not independent but are inte...
178
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...
194
Voted
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...