We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
We describe the design and use of a personal digital library system, UpLib. The system consists of a full-text indexed repository accessed through an active agent via a Web interf...
We have designed a highly versatile badge system to facilitate a variety of interaction at large professional or social events and serve as a platform for conducting research into ...
Joseph A. Paradiso, Jonathan Gips, Mathew Laibowit...
The statistics of range images from natural environments is a largely unexplored eld of research. It closely relates to the statistical modeling of the scene geometry in natural e...
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...