1649 search results - page 271 / 330 » On-Line Change Mechanisms |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
106
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
LISA
1994
15 years 1 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
102
click to vote
AAAI
1990
15 years 1 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
130
click to vote
FUNGAMES
2010
15 years 28 days ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...