People engage in small talk and conversational storytelling to provide information in engaging ways and to serve interpersonal goals such as building rapport and credibility. Embo...
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
We report in this paper the design, fabrication and experimental characterization of a piezoelectric MEMS microgenerator. This device scavenges the energy of ambient mechanical vi...
Image annotation, the task of automatically generating description words for a picture, is a key component in various image search and retrieval applications. Creating image datab...
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...