39362 search results - page 78 / 7873 » Global Computing Systems |
DSVIS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
DCAI
2008
13 years 10 months ago
2008
Case-Based Reasoning is a methodology that uses information that has been considered as valid in previous situations to solve new problems. That use of the information allows CBR s...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
TGIS
2008
13 years 8 months ago
2008
In a 1998 speech before the California Science Center in Los Angeles, then US VicePresident Al Gore called for a global undertaking to build a multi-faceted computing system for e...