121 search results - page 2 / 25 » ideas 1997 |
BCSHCI
1997
13 years 6 months ago
1997
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and th...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
RELMICS
1997
Springer
13 years 9 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
ACL
1997
13 years 6 months ago
1997
This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to ...
ANLP
1997
13 years 6 months ago
1997
This paper describes the implementation of a prototype of a grammar based grammar checker for Czech and the basic ideas behind this implementation. The demo is implemented as an i...