Many applications have cluttered dialogs that require users to make complicated settings. Some settings even determine the availability and state of other settings, creating inter...
Support Vector Machines (SVMs), though accurate, are still difficult to solve large-scale applications, due to the computational and storage requirement. To relieve this problem,...
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivanc...
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
In our previous work on dialogue games for agent interaction, an agent’s set of beliefs (Σ) and an agent’s “commitment store” (CS) — the set of locutions uttered by the ...