Sciweavers

5330 search results - page 218 / 1066
» The Performability Tool P'ility
Sort
View
JCKBSE
2008
15 years 8 months ago
Usability evaluation of software applications with the use of Usability Logger
This paper presents the main characteristics and capabilities of Usability Logger software tool, used in the usability evaluation of Human Computer interaction interfaces. Usabilit...
Nektarios Kostaras, Michalis Xenos, Christos Kouts...
ACL
2006
15 years 8 months ago
Using Comparable Corpora to Solve Problems Difficult for Human Translators
In this paper we present a tool that uses comparable corpora to find appropriate translation equivalents for expressions that are considered by translators as difficult. For a phr...
Serge Sharoff, Bogdan Babych, Anthony Hartley
ACL
2001
15 years 8 months ago
XML-Based Data Preparation for Robust Deep Parsing
We describe the use of XML tokenisation, tagging and mark-up tools to prepare a corpus for parsing. Our techniques are generally applicable but here on parsing Medline abstracts w...
Claire Grover, Alex Lascarides
ECSCW
1993
15 years 8 months ago
Sharing To-Do Lists with a Distributed Task Manager
: We describe a simple and powerful tool for the management of distributed work: the Task Manager. Common tasks may be shared and manipulated independently by a number of people. T...
Thomas Kreifelts, Elke Hinrichs, Gerd Woetzel
TCAD
2008
181views more  TCAD 2008»
15 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...