Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E...
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
AHP (Analytic Hierarchy Process) has been widely used in decision making techniques. However, the results from AHP often lose reliability because the comparison matrix does not al...
We discuss existing approaches to train LR parsers, which have been used for statistical resolution of structural ambiguity. These approaches are nonoptimal, in the sense that a c...