5326 search results - page 81 / 1066 » On what we can ensure |
174
click to vote
ELPUB
2000
ACM
15 years 10 months ago
2000
ACM
Government institutions, businesses and individual members of society - at least in the developed world are increasingly required to become computer literate and knowledgeable abo...
170
click to vote
IJMMS
2008
15 years 6 months ago
2008
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
156
click to vote
HPDC
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
200
click to vote
AAAI
2004
15 years 7 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
168
click to vote
META
1992
15 years 10 months ago
1992
The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation ...