505 search results - page 100 / 101 » Implementation of Belief Change Operators Using BDDs |
111
click to vote
ISCC
2005
IEEE
15 years 7 months 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...
141
click to vote
ATAL
2005
Springer
15 years 7 months 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...
127
click to vote
EDOC
2003
IEEE
15 years 7 months 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...
123
Voted
BIRTHDAY
2007
Springer
15 years 5 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...
104
Voted
AAAI
2007
15 years 4 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...