Itemsets, which are treated as intermediate results in association mining, have attracted significant research due to the inherent complexity of their generation. However, there ...
Ping Liang, John F. Roddick, Aaron Ceglar, Anna Sh...
Interaction with medical volume data has often been difficult due to the large memory and computational power required. By taking advantage of current high-end graphics hardware, ...
Ching-Yao Lin, David T. Chen, R. Bowen Loftin, Jia...
From the analysis of naturally occurring texts we obtained evidence for the systematic interaction between nominal anaphora and metonymies. This leads us to postulate an integrate...
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
We present techniques to enable users to interact on foot with simulated natural ground surfaces in immersive virtual environments. Position and force estimates from in-floor for...
Yon Visell, Alvin Law, Jessica Ip, Severin Smith, ...