We study four problems on uniform hypergraph. First, we present a streaming algorithm for two-coloring uniform hypergraphs with limited number of hyperedges.
The modeling and analysis of social networks has become a major recent area among engineers and economists because of the growth of internet commerce and social networks, which have opened new avenues for advertising.
In this presentation, first we visit latent Dirichlet allocation (LDA), an unsupervised topic model, and propose its application for the task of text segmentation.
I will present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing by humans. The system was designed specifically to enable verification and testing.
It has been shown several times that the speech recognition accuracy improves if the direct measurement of speech articulation is used in addition to the speech acoustics from the talker.
Invariants play a key role in verifying properties of imperative programs. Inductive reasoning is essential to verifying properties of recursive programs.
Compressed sensing is a novel paradigm for signal acquisition, proposed recently by Candes et al, Donoho. As the dust around the initial rapid developments settles, a more simple and unified structure emerges, which is surprisingly linear.
