131 search results - page 6 / 27 » paste 1998 |
IATA
1998
Springer
14 years 2 months ago
1998
Springer
As agent technologies are increasingly being involved in telecommunication-related applications, the need for open standards is becoming critical. During the past years, different ...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
SRDS
1998
IEEE
14 years 2 months ago
1998
IEEE
Checkpointing and rollback recovery is a very effective technique to tolerate transient faults and preventive shutdowns. In the past, most of the checkpointing schemes published i...
EWCBR
1998
Springer
14 years 2 months ago
1998
Springer
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
PEPM
1998
ACM
14 years 2 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...