162 search results - page 17 / 33 » Programming with characters |
107
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
78
Voted
ALGORITHMICA
2010
15 years 2 months ago
2010
The Burrows-Wheeler transformation is used for effective data compression, e.g., in the well known program bzip2. Compression and decompression are done in a block-wise fashion; la...
103
Voted
PPDP
2010
Springer
15 years 9 days ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The development of networking and client/server systems over the Internet had led to many collaborative work software applications. To extend the graphic design collaborative p...
112
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...