4139 search results - page 474 / 828 » Designing and Implementing Combinator Languages |
200
click to vote
IFIP
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
166
click to vote
HT
2003
ACM
16 years 21 days ago
2003
ACM
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
191
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
205
click to vote
CAISE
1998
Springer
15 years 11 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
202
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...