505 search results - page 100 / 101 » Implementation of Belief Change Operators Using BDDs |
ISCC
2005
IEEE
14 years 21 days ago
2005
IEEE
As the Internet grows at a very rapid pace, so does the incidence of attack events and documented unlawful intrusions. The Network Intrusion Detection Systems (NIDSes) are designe...
ATAL
2005
Springer
14 years 17 days ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
EDOC
2003
IEEE
14 years 12 days ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
AAAI
2007
13 years 9 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...