We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
This paper reports on automatic prediction of dialog acts and address types in three-party conversations. Dialogue acts and address types are predicted simultaneously on our frame...
Several factors affecting the automatic classification of musical audio signals are examined. Classification is performed on short audio frames and results are reported as “ba...
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
Accounting frauds have continuously happened all over the world. This leads to the need of predicting business failures. Statistical methods and machine learning techniques have b...
Shi-Ming Huang, Chih-Fong Tsai, David C. Yen, Yin-...