Michael Ferguson

Learn More
In this paper, we present an investigation into the use of cue phrases as a basis for dialogue act classification. We define what we mean by cue phrases, and describe how we extract them from a manually labelled corpus of dialogue. We describe one method of evaluating the usefulness of such cue phrases, by applying them directly as a classifier to unseen(More)
non-progress cycles (Hol92]) are both incompatible with partial order reduction , such as proposed in Peled94, HP94]. We h a ve discussed a mod-iication of one of the two algorithms that secures compatibility with reduction methods, and that suuces to solve b o t h s e a r c h problems eeciently and uniformly. Acknowledgement: The authors are most grateful(More)
He holds a Ph.D. in cultural anthropology from the University of Michigan, where he specialized in Latin American culture and carried out extensive fieldwork in Peru. His turn into microfinance came after years on a conventional academic track. Sebstad, who also provided extensive input on implementation and comments on reporting. Additional thanks to Kate(More)
E Educators with graying hair may recall their first college years as a more Darwinian time. Many tell stories of being asked during their opening collegiate convocation to " look to the left and look to the right " and then recall being told by the imposing dean that " one of these two classmates will not be here this time next year, " as if that would(More)
A social robot is a robotic platform that supports natural interaction with people in a human-scale environment. Such a platform allows interesting opportunities for both traditional Computer Science students and students from other disciplines, such as psychology, philosophy, design and communications. In this paper, we describe a new social robotic(More)
Many attempts have been made to build a tool for supporting mechanized reasoning about concurrent and distributed systems using TLA. In this report we show that the theorem prover Eves works well for TLA + and we develop a veriication and design tool based on TLA + and Eves. We pay particular attention to the practicability of the approach and use adequate(More)
ABOUT THE PROJECT The Financial Services Assessment project is designed to examine the impact of financial services on the lives of poor people across the developing world. This project is funded by the Bill & Melinda Gates Foundation, which is committed to building a deep base of knowledge in the microfinance field. together with its partner Microfinance(More)
While Partitioned Global Address Space (PGAS) programming languages such as UPC/UPC++, CAF, Chapel and X10 provide high-level programming models for facilitating large-scale distributed-memory parallel programming, it is widely recognized that compiler analysis and optimization for these languages has been very limited, unlike the optimization of SMP models(More)