We developed caitra, a novel tool that aids human translators by (a) making suggestions for sentence completion in an interactive machine translation setting, (b) providing altern...
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
We present a tool BlogTrackers, which assists sociologists to track and analyze blogs of particular interests by designing and integrating unique features. We present an overview ...
Nitin Agarwal, Shamanth Kumar, Huan Liu, Mark Wood...
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
In order to facilitate efficient creation of instructional content for high proficiency language learning systems, we investigate the use of utterance templates through an intuitiv...