Recent advances in Symbolic Dynamic Programming (SDP) combined with the extended algebraic decision diagram (XADD) have provided exact solutions for expressive subclasses of fini...
Luis Gustavo Rocha Vianna, Leliane N. de Barros, S...
Given a data set from a union of multiple linear subspaces, a robust subspace clustering algorithm fits each group of data points with a low-dimensional subspace and then cluster...
This paper describes a novel combination of Java program analysis and automated learning and planning architecture to the domain of Java vulnerability analysis. The key feature of...
Ugur Kuter, Mark H. Burstein, J. Benton, Daniel Br...
Social media platforms are often used by people to express their needs and desires. Such data offer great opportunities to identify users’ consumption intention from user-genera...
The ultimate goal of human natural language interaction is to communicate intentions. However, these intentions are often not directly derivable from the semantics of an utterance...
Tom Williams, Gordon Briggs, Bradley Oosterveld, M...