1150 search results - page 84 / 230 » Note from the Editor |
RTA
2005
Springer
14 years 2 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Modern applications such as Microsoft Word have many automatic features and hidden dependencies that are frequently helpful but can be mysterious to both novice and expert users. ...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
High-quality annotation of biological data is central to bioinformatics. Annotation using terms from ontologies provides reliable computational access to data. The Gene Ontology (...