3824 search results - page 307 / 765 » Geometry Constructions Language |
146
click to vote
IUI
2011
ACM
14 years 7 months ago
2011
ACM
Recent research in Augmented and Alternative Communication (AAC) has begun to make use of Natural Language Generation (NLG) techniques. This creates an opportunity for constructin...
135
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
169
Voted
POPL
2012
ACM
14 years 9 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
160
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
141
click to vote
LOGCOM
2010
15 years 3 months ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...