505 search results - page 6 / 101 » Implementation of Belief Change Operators Using BDDs |
FLAIRS
2007
14 years 12 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
101
click to vote
CATA
2003
14 years 11 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
WSC
1998
14 years 11 months ago
1998
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...
126
click to vote
WIA
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
DOLAP
2003
ACM
15 years 2 months ago
2003
ACM
In the last years, lots of work have been devoted to multidimensional modeling, star shape schemas and OLAP operations. However, “drill-across” has not captured as much attent...